+/* ... except on IE, piece of crap. */
+* html div#content_div ul {
+ margin-left: 1em;
+ padding-left: 1em;
+}
+* html div#content_div ol {
+ margin-left: 1em;
+ padding-left: 1em;
+}
+
+/* Make <code> sections slightly larger in Gecko browsers. */
+code {
+ font-size: 1.2em;
+}
+
+* html code {
+ font-size: 1em;
+}
+
+/* Abbreviations should be in smallcaps. */
+abbr, acronym {
+ font-variant: small-caps;