diff options
Diffstat (limited to 'style.css')
-rw-r--r-- | style.css | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,4 +1,4 @@ -/* $Id: style.css,v 1.17 2010/12/20 13:39:24 kristaps Exp $ */ +/* $Id: style.css,v 1.18 2010/12/22 11:58:02 kristaps Exp $ */ html { max-width: 800px; } body { font-family: monospace; @@ -10,12 +10,14 @@ body { font-family: monospace; table.foot { width: 100%; font-size: 0.8em; + margin-top: 1em; border-top: 1px dotted #dddddd; color: #999999; } /* Document footer. */ td.foot-date { width: 50%; } /* Document footer: date. */ td.foot-os { width: 50%; text-align: right; } /* Document footer: OS/source. */ table.head { width: 100%; font-size: 0.8em; + margin-bottom: 1em; border-bottom: 1px dotted #dddddd; color: #999999; } /* Document header. */ td.head-ltitle { width: 10%; } /* Document header: left-title. */ |