basis/help/html/stylesheet.css

   1 html {
   2     box-sizing: border-box;
   3 }
   4
   5 *, *:before, *:after {
   6     box-sizing: inherit;
   7 }
   8
   9 a, .link { color: #2A5DB0; }
  10 a:link, a:visited, a:active, .link { text-decoration: none; }
  11 a:hover, .link:hover { text-decoration: underline; }
  12
  13 body {
  14     margin: 0;
  15     font-family: sans-serif;
  16     font-size: 12pt;
  17     line-height: 150%;
  18 }
  19
  20 input {
  21     border: 1px solid #999999;
  22     border-radius: 3px;
  23     font-size: 1.0em;
  24 }
  25
  26 input[type=text] {
  27     width: 200px;
  28 }
  29
  30 img {
  31     vertical-align: middle;
  32 }
  33
  34 table {
  35     border-collapse: collapse;
  36     margin-top: 5px;
  37     margin-bottom: 5px;
  38 }
  39
  40 tr:hover {
  41     background-color: #f5f5f5;
  42 }
  43
  44 nav {
  45     border-bottom: 1px solid #ccc;
  46     background-color: #f5f5f5;
  47 }
  48
  49 .navrow {
  50     max-width: 800px;
  51     position: relative;
  52     left: calc(max(-400px,-50%) + 50%);
  53     margin: 0;
  54     padding: 10px 15px 10px 15px;
  55 }
  56
  57 .navrow a {
  58     margin-right: 10px;
  59 }
  60
  61 .page {
  62     max-width: 800px;
  63     position: relative;
  64     left: calc(max(-400px,-50%) + 50%);
  65     padding: 15px;
  66 }
  67
  68 .page img {
  69     width: 16px;
  70     height: 16px;
  71 }
  72
  73 footer {
  74     margin-top: 15px;
  75     border-top: 1px dashed #ccc;
  76     color: #666;
  77     font-size: 10pt;
  78 }
  79
  80 @media screen and (max-width: 480px) {
  81
  82     input {
  83         font-size: smaller;
  84     }
  85
  86     input[type=text] {
  87         width: 100px;
  88     }
  89
  90     nav img {
  91         display: none;
  92     }
  93 }
  94
  95 @media screen and (max-width: 600px) {
  96
  97 }
  98
  99 /* Dark mode */
 100 @media (prefers-color-scheme: dark) {
 101     body {
 102         background-color: #202124;
 103         color: #bdc1c6;
 104     }
 105
 106     a {
 107         color: #8ab4f8;
 108     }
 109
 110     nav {
 111         background-color: #373e48;
 112         border-bottom: 1px solid #666;
 113     }
 114
 115     footer {
 116         border-top: 1px dashed #666;
 117         color: #999;
 118     }
 119
 120     input {
 121         border: 1px solid #666;
 122     }
 123
 124     tr:hover {
 125         background-color: #373e48;
 126     }
 127 }