diff options
| author | Werner Koch <wk@gnupg.org> | 2011-08-12 14:40:47 +0200 |
|---|---|---|
| committer | Werner Koch <wk@gnupg.org> | 2011-08-12 14:40:47 +0200 |
| commit | 4379c01a24570c01a355f47e5e187d09676d64d6 (patch) | |
| tree | 7938792640f14cc2252b7e4096b6bcafd07420ee /doc/texi.css | |
| parent | Fixed set but unused variable bugs (diff) | |
| download | gnupg2-4379c01a24570c01a355f47e5e187d09676d64d6.tar.xz gnupg2-4379c01a24570c01a355f47e5e187d09676d64d6.zip | |
Beautified the online html manual
Diffstat (limited to 'doc/texi.css')
| -rw-r--r-- | doc/texi.css | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/texi.css b/doc/texi.css index a369abc3e..c1e9f480c 100644 --- a/doc/texi.css +++ b/doc/texi.css @@ -1,6 +1,23 @@ /* The gnupg.org standard stylesheet. */ @import url(/share/site.css); +/* The gnupg site sets body margins to zero. Because we don't have + the table layout here we have to set our own margins for the body. */ +body { + margin-left: 1em; + margin-right: 1em; +} + +/* Make the top header larger. */ +h1 { + text-align: center; + font-size: 200%; +} + +h1:first-letter { + font-size: 120%; +} + |