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 #d5d5d5;
  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 #d5d5d5;
  46     background-color: #f5f5f5;
  47     padding: 10px;
  48     padding-left: calc(max(50% - 400px, 0px) + 15px);
  49     padding-right: calc(max(50% - 400px, 0px) + 15px);
  50 }
  51
  52 nav a, nav .link {
  53     margin-right: 10px;
  54 }
  55
  56 nav img {
  57     vertical-align: middle;
  58 }
  59
  60 .page {
  61     max-width: 800px;
  62     position: relative;
  63     left: calc(max(-400px,-50%) + 50%);
  64     padding: 15px;
  65 }
  66
  67 .page img {
  68     width: 16px;
  69     height: 16px;
  70 }
  71
  72 footer {
  73     margin-top: 15px;
  74     border-top: 1px dashed #d5d5d5;
  75     color: #666;
  76     font-size: 10pt;
  77 }
  78
  79 @media screen and (max-width: 480px) {
  80
  81     input {
  82         font-size: smaller;
  83     }
  84
  85     input[type=text] {
  86         width: 100px;
  87     }
  88
  89     nav img {
  90         display: none;
  91     }
  92 }
  93
  94 @media screen and (max-width: 600px) {
  95
  96 }
  97
  98 /* Dark mode */
  99 @media (prefers-color-scheme: dark) {
 100     body {
 101         background-color: #202124;
 102         color: #bdc1c6;
 103     }
 104
 105     a {
 106         color: #8ab4f8;
 107     }
 108
 109     nav {
 110         background-color: #373e48;
 111         border-bottom: 1px solid #666;
 112     }
 113
 114     footer {
 115         border-top: 1px dashed #666;
 116         color: #999;
 117     }
 118
 119     input {
 120         border: 1px solid #666;
 121     }
 122
 123     tr:hover {
 124         background-color: #373e48;
 125     }
 126 }