diff options
Diffstat (limited to 'htdocs/style/base.css')
| -rw-r--r-- | htdocs/style/base.css | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/htdocs/style/base.css b/htdocs/style/base.css index e272255..abf80fa 100644 --- a/htdocs/style/base.css +++ b/htdocs/style/base.css @@ -574,11 +574,8 @@ div.doc ul li { } /* documentation - table of contents */ -#toc { /* making the toc a bit more compact and standing out */ - font-size: .85em; - font-weight: bold; - margin-bottom: 2em; - margin-left: 3em; +#toc { + margin-left: 40px; } div.doc div#toc ol, div.doc ol { @@ -741,6 +738,20 @@ div.intro p { margin-bottom: .5em;} vertical-align: middle; } +.html5_logo_32 { + float: left; + padding-top: 8px; + padding-right: 20px; + padding-left: 28px; +} + +.html5_logo_128 { + float: left; + padding-top: 9px; + padding-right: 20px; + padding-left: 18px; +} + /* donation and sponsorship program */ #w3c-include {} |