Home | History | Annotate | Download | only in util 
      1 #main {
      2   margin-left: auto;
      3   margin-right: auto;
      4   max-width: 55em;
      5   text-align: justify;
      6 }
      7 
      8 h2 {
      9   font-family: monospace;
     10   background-color: #b2c9db;
     11   padding: 7px;
     12   border-radius: 7px;
     13 }
     14 
     15 div.title {
     16   margin-bottom: 2em;
     17 }
     18 
     19 ol {
     20   list-style: none;
     21   margin-bottom: 4em;
     22 }
     23 
     24 li a {
     25   color: black;
     26 }
     27 
     28 li.header {
     29   margin-top: 1em;
     30   margin-bottom: 0.3em;
     31   font-weight: bold;
     32 }
     33 
     34 div.decl p:first-child {
     35   margin-top: 2.5em;
     36 }
     37 
     38 div.decl p:first-child .first-word {
     39   font-weight: bold;
     40   font-family: monospace;
     41 }
     42 
     43 .sectionpreamble {
     44   margin-top: 5em;
     45 }
     46 
     47 .sectionpreamble p:first-child {
     48   font-weight: bold;
     49   font-size: 1.5em;
     50 }
     51 
     52 .section pre {
     53   background-color: #b2c9db;
     54   padding: 5px;
     55   border-radius: 5px;
     56 }
     57 
     58 td {
     59   padding: 2px;
     60 }
     61 
     62 tr:nth-child(even) {
     63   background-color: #eee;
     64 }
     65 
     66 tr.header td {
     67   font-weight: bold;
     68   padding-top: 1em;
     69   padding-bottom: 0.5em;
     70 }
     71