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