*/
body {
font: 14pt serif;
+ margin: 16pt;
}
h1, h2, h3, h4, h5 {
font-family: sans-serif;
clear: both;
+ margin-bottom: 0.5em;
+}
+
+h1 + p, h2 + p, h3 + p, h4 + p, h5 + p {
+ margin-top: 0.5em;
+}
+
+pre {
+ background-color: #090909;
+ color: #F7F7F7;
+ padding: 0.5em;
}
.pizzapie {
.statistics td {
padding-right: 16pt;
}
+
+.bitstructure {
+ font-family: sans-serif;
+ font-size: 10pt;
+ border-collapse: collapse;
+ float: right;
+ clear: both;
+ margin: 0 0 16pt 16pt;
+}
+
+.bitstructure td {
+ border: 2px solid black;
+}
+
+.bitstructure .B32 {
+ height: 128px;
+}
+
+.bitstructure .B8 {
+ height: 64px;
+}
+
+.bitstructure .B4 {
+ height: 32px;
+}
+
+.bitstructure .B2 {
+ height: 16px;
+}
+
+.feature {
+ font-family: sans-serif;
+ font-size: 12pt;
+ color: #707010;
+ font-weight: bold;
+}
+
+h3 + .feature {
+ margin-top: -10px;
+}
+
+.magic {
+ display: none;
+}
+
+.magic + .magic {
+ display: inline;
+}