]> granicus.if.org Git - python/commitdiff
CSS style sheet for the documentation.
authorFred Drake <fdrake@acm.org>
Tue, 16 Feb 1999 20:27:08 +0000 (20:27 +0000)
committerFred Drake <fdrake@acm.org>
Tue, 16 Feb 1999 20:27:08 +0000 (20:27 +0000)
Doc/html/style.css [new file with mode: 0644]

diff --git a/Doc/html/style.css b/Doc/html/style.css
new file mode 100644 (file)
index 0000000..0ae3cb7
--- /dev/null
@@ -0,0 +1,45 @@
+/*
+ * The first part of this is the standard CSS generated by LaTeX2HTML,
+ * with the "empty" declarations removed.
+ */
+
+/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
+.MATH    { font-family: "Century Schoolbook", serif; }
+.MATH I  { font-family: "Century Schoolbook", serif; font-weight: bold }
+.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }
+
+/* implement both fixed-size and relative sizes */
+SMALL.XTINY            { font-size : xx-small }
+SMALL.TINY             { font-size : x-small  }
+SMALL.SCRIPTSIZE       { font-size : smaller  }
+SMALL.FOOTNOTESIZE     { font-size : small    }
+BIG.XLARGE             { font-size : large    }
+BIG.XXLARGE            { font-size : x-large  }
+BIG.HUGE               { font-size : larger   }
+BIG.XHUGE              { font-size : xx-large }
+
+/*
+ * Document-specific styles come next;
+ * these are added for the Python documentation.
+ *
+ * Note that the size specifications for the H* elements are because
+ * Netscape on Solaris otherwise doesn't get it right; they all end up
+ * the normal text size.
+ */
+
+h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif;
+                         font-weight: bold }
+h1, h2                 { font-size: x-large }
+h3, h4                 { font-size: large }
+code, tt               { font-family: courier }
+var                    { font: italic normal serif }
+
+.navigation .title     { font-family: avantgarde, sans-serif;
+                         font-size: 110% }
+
+.verbatim              { color: darkblue }
+
+.email                 { font-family: avantgarde, sans-serif }
+.mimetype              { font-family: avantgarde, sans-serif }
+.newsgroup             { font-family: avantgarde, sans-serif }
+.url                   { font-family: avantgarde, sans-serif }