lists.w3.org (dark) by edsu

/* ==UserStyle==
@name           lists.w3.org - 3/10/2023, 2:43:13 AM
@namespace      github.com/openstyles/stylus
@version        1.0.0
@description    A new userstyle
@author         Me
==/UserStyle== */
@-moz-document domain("lists.w3.org") {

  body {
    margin-left: auto;
    margin-right: auto;
    max-width: 1000px;
    background-color: black;
    color: azure;
    font-size: 12pt;
    font-family: monospace;
  }

  #body {
    background-color: black;
    color: azure;
    padding: 0;
  }
  
  a,
  a:active,
  a:link,
  a:visited {
    color: azure;
    text-decoration: underline;
  }
  
  a:hover {
    color: magenta;
  }

  .head {
    margin-bottom: 20px;
    color: azure;
    border-bottom: thin solid;
  }
  
  .foot {
    border-top: thin solid;
    margin-top: 20px;
    color: azure;
  }

  #message-id {
    font-size: 12pt;
  }
  
  #upper p {
    background-color: #33ff00;
    color: black;
    font-weight: bold;
  }
  
  #upper a:active, #upper a:link, #upper a:visited {
    color: black;
    padding: 5px;
    text-decoration: none;
  }
  
  thead tr {
    background-color: black;
  }
  
  ul.links {
    padding: 0;
    font-size: smaller;
  }
}