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 .navbar {
  55     border-bottom: 1px solid #ccc;
  56     background-color: #f5f5f5;
  57 }
  58
  59 .navrow {
  60     max-width: 1000px;
  61     position: relative;
  62     left: calc(max(-500px,-50%) + 50%);
  63     margin: 0;
  64     padding: 10px 15px 10px 15px;
  65 }
  66
  67 .navrow a, .navrow .link {
  68     margin-right: 10px;
  69 }
  70
  71 .navrow img {
  72     vertical-align: middle;
  73 }
  74
  75 .page {
  76     max-width: 1000px;
  77     position: relative;
  78     left: calc(max(-500px,-50%) + 50%);
  79     padding: 15px;
  80 }
  81
  82 .big-field-label {
  83     vertical-align: top;
  84 }
  85
  86 /* Dark mode */
  87 @media (prefers-color-scheme: dark) {
  88     body {
  89         background-color: #202124;
  90         color: #bdc1c6;
  91     }
  92
  93     title, h1, h2, h3, h4, h5, h6 {
  94         color: white;
  95     }
  96
  97     a, .link {
  98         color: #8ab4f8;
  99     }
 100
 101     .page .navbar {
 102         border-top: 1px solid #666;
 103     }
 104
 105     .navbar {
 106         background-color: #373e48;
 107         border-bottom: 1px solid #666;
 108     }
 109 }