diff options
| author | Fred Drake <fdrake@acm.org> | 2004-11-10 17:02:43 (GMT) |
|---|---|---|
| committer | Fred Drake <fdrake@acm.org> | 2004-11-10 17:02:43 (GMT) |
| commit | 5d93eef2636b17c8da44d11b90993295187eb29b (patch) | |
| tree | a7877b48d6d5c0f8fc63fda7c5e0bd3cd1ef3804 /Doc/html | |
| parent | 5b000591106a5e5f3fa90277d109c81e3b6a9459 (diff) | |
| download | cpython-5d93eef2636b17c8da44d11b90993295187eb29b.zip cpython-5d93eef2636b17c8da44d11b90993295187eb29b.tar.gz cpython-5d93eef2636b17c8da44d11b90993295187eb29b.tar.bz2 | |
move table formatting for grammar productions from HTML to CSS
Diffstat (limited to 'Doc/html')
| -rw-r--r-- | Doc/html/style.css | 25 |
1 files changed, 24 insertions, 1 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css index a71541a..ce42ffb 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css @@ -108,6 +108,8 @@ div.note .label { margin-right: 0.5em; padding: 0.05in; } .grammar-footer { padding: 0.05in; font-size: 85%; } +.grammartoken { font-family: "lucida typewriter", lucidatypewriter, + monospace; } .productions { background-color: #bbeeff; } .productions a:active { color: #ff0000; } @@ -115,7 +117,28 @@ div.note .label { margin-right: 0.5em; .productions a:visited:hover { background-color: #99ccff; } .productions a:visited { color: #551a8b; } .productions a:link { color: #0000bb; } -.productions table { vertical-align: baseline; } +.productions table { vertical-align: baseline; + empty-cells: show; } +.productions > table td, +.productions > table th { padding: 2px; } +.productions > table td:first-child, +.productions > table td:last-child { + font-family: "lucida typewriter", + lucidatypewriter, + monospace; + } +/* same as the second selector above, but expressed differently for Opera */ +.productions > table td:first-child + td + td { + font-family: "lucida typewriter", + lucidatypewriter, + monospace; + vertical-align: baseline; + } +.productions > table td:first-child + td { + padding-left: 1em; + padding-right: 1em; + } +.productions > table tr { vertical-align: baseline; } .email { font-family: avantgarde, sans-serif; } .mailheader { font-family: avantgarde, sans-serif; } |