diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/doc.css | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/doc/doc.css b/doc/doc.css index c11082fd..a5c5be5c 100644 --- a/doc/doc.css +++ b/doc/doc.css @@ -4,12 +4,19 @@ body { color: #000; } -h1, h2, h3 { color: #306; } +h1, h2, h3 { + color: #306; + text-decoration: underline; +} pre { border: medium dashed #306; - background: #ccc; - margin-left: 4em; + border-width: 0.1em; + background-color: #eee; + margin-left: 2em; + margin-right: 2em; padding: 1em; + outline: #555; } + |