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     line-height: 140%;
  17 }
  18
  19 textarea {
  20     font-size: 12pt;
  21 }
  22
  23 table {
  24     border-spacing: 0;
  25     border-collapse: collapse;
  26 }
  27
  28 .link-button {
  29     padding: 0;
  30     background: none;
  31     border: none;
  32 }
  33
  34 a, .link { color: #104e8b; }
  35 a:link, a:visited, a:active, .link { text-decoration: none; }
  36 a:hover, .link:hover { text-decoration: underline; }
  37
  38 #container {
  39     max-width: 1000px;
  40 }
  41
  42 .error { color: #a00; }
  43
  44 .errors li { color: #a00; }
  45
  46 .field-label {
  47     text-align: right;
  48 }
  49
  50 .inline {
  51     display: inline;
  52 }
  53
  54 .navbar {
  55     margin: 0;
  56     padding: 15px;
  57     border-bottom: 1px solid #ccc;
  58 }
  59
  60 .navbar a, .navbar .link {
  61     margin-right: 10px;
  62 }
  63
  64 .big-field-label {
  65     vertical-align: top;
  66 }
  67
  68 .description pre {
  69     padding: 5px;
  70     border: 1px dashed #ccc;
  71     background-color: #f5f5f5;
  72     overflow: auto;
  73     font-size: smaller;
  74 }
  75
  76 .description h1 { font-size: 1.5em; }
  77 .description h2 { font-size: 1.17em; }
  78 .description h3 { font-size: 1.0em; }
  79 .description h4 { font-size: 0.83em; }
  80 .description h5 { font-size: 0.67em; }
  81
  82 .description p:first-child { margin-top: 0px; }
  83 .description p:last-child { margin-bottom: 0px; }
  84
  85 .description table, .description td {
  86     border-color: #666;
  87     border-style: solid;
  88 }
  89
  90 .description table {
  91     border-width: 0 0 1px 1px;
  92     border-spacing: 0;
  93     border-collapse: collapse;
  94 }
  95
  96 .description td {
  97     margin: 0;
  98     padding: 4px;
  99     border-width: 1px 1px 0 0;
 100 }