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 {
.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;
+}