diff options
Diffstat (limited to 'doc/user')
| -rw-r--r-- | doc/user/skribilo.css | 23 |
1 files changed, 21 insertions, 2 deletions
diff --git a/doc/user/skribilo.css b/doc/user/skribilo.css index 51fa490..956fb72 100644 --- a/doc/user/skribilo.css +++ b/doc/user/skribilo.css @@ -44,9 +44,22 @@ span.sf { font-family: sans-serif } .small-toc { text-align: left; font-size: normal; - font-weight: bold; + font-weight: normal; background: #eeeef0; - border-radius: 2px; + + position: relative; + padding: 10px; + width: 30%; + margin: 30px 0 0 0; + + /* XXX: `float' doesn't play well with tables. */ + /* float: right; */ + /* margin: 0 0 30px 30px; */ + + border-width: 1px; + border-style: dotted; + border-color: #999; + border-radius: 5px; -moz-border-radius: 2px; } @@ -55,6 +68,12 @@ span.sf { font-family: sans-serif } font-family: sans-serif; font-weight: normal; font-size: small; + text-align: right; + color: #999; + border-top-style: dashed; + border-top-width: 1px; + border-top-color: #aaa; + margin: 20px 0 0 0; } .section-title { |