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