summaryrefslogtreecommitdiffstats
path: root/Doc/html
diff options
context:
space:
mode:
authorFred Drake <fdrake@acm.org>1999-02-16 20:27:08 (GMT)
committerFred Drake <fdrake@acm.org>1999-02-16 20:27:08 (GMT)
commit00d98ee5cc35d14e70b4a10df48c0c474a3a128a (patch)
tree1b8e58e59ee0024c74d6890dd356c326ee69455d /Doc/html
parent63f217741effa37bc6d64bff7f5574d4e5518162 (diff)
downloadcpython-00d98ee5cc35d14e70b4a10df48c0c474a3a128a.zip
cpython-00d98ee5cc35d14e70b4a10df48c0c474a3a128a.tar.gz
cpython-00d98ee5cc35d14e70b4a10df48c0c474a3a128a.tar.bz2
CSS style sheet for the documentation.
Diffstat (limited to 'Doc/html')
-rw-r--r--Doc/html/style.css45
1 files changed, 45 insertions, 0 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css
new file mode 100644
index 0000000..0ae3cb7
--- /dev/null
+++ b/Doc/html/style.css
@@ -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 }