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     line-height: 150%;
  17 }
  18
  19 input {
  20     border: 1px solid #999999;
  21     border-radius: 3px;
  22     font-size: 1.0em;
  23 }
  24
  25 input[type=text] {
  26     width: 200px;
  27 }
  28
  29 img {
  30     vertical-align: middle;
  31 }
  32
  33 table {
  34     border-collapse: collapse;
  35     margin-top: 5px;
  36     margin-bottom: 5px;
  37 }
  38
  39 tr:hover {
  40     background-color: #f5f5f5;
  41 }
  42
  43 .navbar {
  44     border-bottom: 1px solid #ccc;
  45     background-color: #f5f5f5;
  46 }
  47
  48 .navrow {
  49     max-width: 800px;
  50     position: relative;
  51     left: calc(max(-400px,-50%) + 50%);
  52     margin: 0;
  53     padding: 10px 15px 10px 15px;
  54 }
  55
  56 .navrow a {
  57     margin-right: 10px;
  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 #ccc;
  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     .navbar 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     .navbar {
 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 }