summaryrefslogtreecommitdiffstats
path: root/Doc/html/style.css
diff options
context:
space:
mode:
authorFred Drake <fdrake@acm.org>2001-06-23 04:53:43 (GMT)
committerFred Drake <fdrake@acm.org>2001-06-23 04:53:43 (GMT)
commit1ab1f71ec3da8844104afc9a01611826886eb39d (patch)
tree0f4f64605fa28e92ef1d802541a8d74bdd4e416d /Doc/html/style.css
parentf015d9a5f6df5e6e1c353d6bf81333af68d56a68 (diff)
downloadcpython-1ab1f71ec3da8844104afc9a01611826886eb39d.zip
cpython-1ab1f71ec3da8844104afc9a01611826886eb39d.tar.gz
cpython-1ab1f71ec3da8844104afc9a01611826886eb39d.tar.bz2
Consistently use semi-colons after the last property for each selector.
Diffstat (limited to 'Doc/html/style.css')
-rw-r--r--Doc/html/style.css52
1 files changed, 26 insertions, 26 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css
index 767cf74..eae3307 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -11,14 +11,14 @@
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 }
+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;
@@ -37,38 +37,38 @@ a:visited { color: #551a8b; }
a:link { color: #0000bb; }
h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif;
- font-weight: bold }
-h1 { font-size: 180% }
-h2 { font-size: 150% }
-h3, h4 { font-size: 120% }
-code, tt { font-family: monospace }
+ font-weight: bold; }
+h1 { font-size: 180%; }
+h2 { font-size: 150%; }
+h3, h4 { font-size: 120%; }
+code, tt { font-family: monospace; }
var { font-family: times, serif;
font-style: italic;
- font-weight: normal }
+ font-weight: normal; }
.navigation td { background-color: #99ccff;
font-weight: bold;
font-family: avantgarde, sans-serif;
- font-size: 110% }
+ font-size: 110%; }
.release-info { font-style: italic; }
.titlegraphic { vertical-align: top; }
-.verbatim { color: #00008b }
+.verbatim { color: #00008b; }
-.email { font-family: avantgarde, sans-serif }
-.mimetype { font-family: avantgarde, sans-serif }
-.newsgroup { font-family: avantgarde, sans-serif }
-.url { font-family: avantgarde, sans-serif }
-.file { font-family: avantgarde, sans-serif }
+.email { font-family: avantgarde, sans-serif; }
+.mimetype { font-family: avantgarde, sans-serif; }
+.newsgroup { font-family: avantgarde, sans-serif; }
+.url { font-family: avantgarde, sans-serif; }
+.file { font-family: avantgarde, sans-serif; }
.tableheader { background-color: #99ccff;
font-family: avantgarde, sans-serif; }
-.refcount-info { font-style: italic }
+.refcount-info { font-style: italic; }
.refcount-info .value { font-weight: bold;
- color: #006600 }
+ color: #006600; }
/*
* Some decoration for the "See also:" blocks, in part inspired by some of
@@ -77,12 +77,12 @@ var { font-family: times, serif;
*/
.seealso { background-color: #fffaf0;
border: thin solid black;
- padding: 4pt }
+ padding: 4pt; }
-.seealso .heading { font-size: 110% }
+.seealso .heading { font-size: 110%; }
/*
* Class 'availability' is used for module availability statements at
* the top of modules.
*/
-.availability .platform { font-weight: bold }
+.availability .platform { font-weight: bold; }