extra/websites/concatenative/page.css

   1 html {
   2     box-sizing: border-box;
   3 }
   4
   5 *, *:before, *:after {
   6     box-sizing: inherit;
   7 }
   8
   9 body {
  10     margin: 0;
  11 }
  12
  13 body, button {
  14     font-size: 12pt;
  15     font-family: sans-serif;
  16 }
  17
  18 textarea {
  19     font-size: 12pt;
  20 }
  21
  22 table {
  23     border-spacing: 0;
  24     border-collapse: collapse;
  25 }
  26
  27 pre {
  28     overflow: auto;
  29     font-size: smaller;
  30     line-height: 125%;
  31 }
  32
  33 .link-button {
  34     padding: 0;
  35     background: none;
  36     border: none;
  37 }
  38
  39 a, .link { color: #2A5DB0; }
  40 a:link, a:visited, a:active, .link { text-decoration: none; }
  41 a:hover, .link:hover { text-decoration: underline; }
  42
  43 .error { color: #a00; }
  44
  45 .errors li { color: #a00; }
  46
  47 .field-label {
  48     text-align: right;
  49 }
  50
  51 .inline {
  52     display: inline;
  53 }
  54
  55 nav {
  56     border-bottom: 1px solid #ccc;
  57     background-color: #f5f5f5;
  58 }
  59
  60 .navrow {
  61     max-width: 1000px;
  62     position: relative;
  63     left: calc(max(-500px,-50%) + 50%);
  64     margin: 0;
  65     padding: 10px 15px 10px 15px;
  66 }
  67
  68 .navrow a, .navrow .link {
  69     margin-right: 10px;
  70 }
  71
  72 .navrow img {
  73     vertical-align: middle;
  74 }
  75
  76 .page {
  77     max-width: 1000px;
  78     position: relative;
  79     left: calc(max(-500px,-50%) + 50%);
  80     padding: 15px;
  81 }
  82
  83 .big-field-label {
  84     vertical-align: top;
  85 }
  86
  87 /* Dark mode */
  88 @media (prefers-color-scheme: dark) {
  89     body {
  90         background-color: #202124;
  91         color: #bdc1c6;
  92     }
  93
  94     title, h1, h2, h3, h4, h5, h6 {
  95         color: white;
  96     }
  97
  98     a, .link {
  99         color: #8ab4f8;
 100     }
 101
 102     .page nav {
 103         border-top: 1px solid #666;
 104     }
 105
 106     nav {
 107         background-color: #373e48;
 108         border-bottom: 1px solid #666;
 109     }
 110 }