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