diff options
Diffstat (limited to 'host/docs/style.css')
| -rw-r--r-- | host/docs/style.css | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/host/docs/style.css b/host/docs/style.css index a50dce04a..7bd84c9c7 100644 --- a/host/docs/style.css +++ b/host/docs/style.css @@ -4,7 +4,7 @@ font-size:10pt; color:black; background-color:#FEFEFE; width:90%; -margin:0 auto; +margin:0 auto 0 auto; } div.document div.contents{ @@ -45,7 +45,7 @@ background-color:inherit; div.document h2.subtitle, div.section h1{ margin-top:50px; -border-top:1px solid #333333; +border-bottom:1px solid #333333; font-size:140%; text-align:center; padding:20px 0px 10px 0px; @@ -56,13 +56,13 @@ background-color:inherit; div.section h2{ font-size:110%; text-align:left; -padding:15px 0px 5px 10px; +padding:15px 0px 5px 0px; text-decoration:underline; color:#333333; background-color:inherit; } -div.document pre{ +div.document pre.literal-block{ border:1px inset #333333; padding:5px; margin:10px 5px 10px 5px; @@ -94,3 +94,9 @@ text-align:center; color:inherit; background-color:#FCFCFC; } + +div.footer{ +margin:50px auto 30px auto; +text-align:center; +font-size:85%; +} |