docs/instruction-formats.css

   1 h1 {
   2     font-family: serif;
   3     color: #222266;
   4 }
   5
   6 h2 {
   7     font-family: serif;
   8     border-top-style: solid;
   9     border-top-width: 2px;
  10     border-color: #ccccdd;
  11     padding-top: 12px;
  12     margin-top: 48px;
  13     margin-bottom: 2px;
  14     color: #222266;
  15 }
  16
  17 h3 {
  18     font-family: serif;
  19     color: #222266;
  20 }
  21
  22 @media print {
  23     table {
  24         font-size: 8pt;
  25     }
  26 }
  27
  28 @media screen {
  29     table {
  30         font-size: 10pt;
  31     }
  32 }
  33
  34 table th {
  35     font-family: sans-serif;
  36     background: #aaaaff;
  37 }
  38
  39 table {
  40     border-collapse: collapse;
  41 }
  42
  43 table td {
  44     font-family: sans-serif;
  45     border-top-style: solid;
  46     border-bottom-style: solid;
  47     border-width: 1px;
  48     border-color: #aaaaff;
  49     padding-top: 4px;
  50     padding-bottom: 4px;
  51     padding-left: 2px;
  52     padding-right: 2px;
  53     background: #eeeeff;
  54 }
  55
  56
  57 /* the mnemonic guide */
  58
  59 table.letters {
  60     margin-top: 24px;
  61     margin-bottom: 24px;
  62     margin-left: 48px;
  63     margin-right: 48px;
  64 }
  65
  66 table.letters td:first-child {
  67     font-family: monospace;
  68     width: 10%;
  69     text-align: center;
  70 }
  71
  72 table.letters td:first-child + td {
  73     width: 10%;
  74     text-align: center;
  75 }
  76
  77 table.letters td:first-child + td + td {
  78     width: 80%;
  79 }
  80
  81
  82 /* the formats, per se */
  83
  84 table.format {
  85     background: #aaaaaa;
  86     border-collapse: collapse;
  87     margin-top: 24px;
  88     margin-bottom: 24px;
  89     margin-left: 48px;
  90     margin-right: 48px;
  91 }
  92
  93 table.format td {
  94     font-family: monospace;
  95 }
  96
  97 table.format td + td i {
  98     font-family: sans-serif;
  99 }
 100
 101 table.format td sub {
 102     font-family: sans-serif;
 103 }
 104
 105 table.format td sub {
 106     font-family: sans-serif;
 107     font-style: italic;
 108     font-size: 70%
 109 }
 110
 111 table.format th:first-child {
 112     width: 28%;
 113 }
 114
 115 table.format th:first-child + th {
 116     width: 5%;
 117 }
 118
 119 table.format th:first-child + th + th {
 120     width: 45%;
 121 }
 122
 123 table.format th:first-child + th + th + th {
 124     width: 22%;
 125 }
 126
 127 table.format p {
 128     margin-bottom: 0pt;
 129 }