version 1.17, 2010/12/20 13:39:24 |
version 1.18, 2010/12/22 11:58:02 |
Line 10 body { font-family: monospace; |
|
Line 10 body { font-family: monospace; |
|
|
|
table.foot { width: 100%; |
table.foot { width: 100%; |
font-size: 0.8em; |
font-size: 0.8em; |
|
margin-top: 1em; |
border-top: 1px dotted #dddddd; |
border-top: 1px dotted #dddddd; |
color: #999999; } /* Document footer. */ |
color: #999999; } /* Document footer. */ |
td.foot-date { width: 50%; } /* Document footer: date. */ |
td.foot-date { width: 50%; } /* Document footer: date. */ |
td.foot-os { width: 50%; text-align: right; } /* Document footer: OS/source. */ |
td.foot-os { width: 50%; text-align: right; } /* Document footer: OS/source. */ |
table.head { width: 100%; |
table.head { width: 100%; |
font-size: 0.8em; |
font-size: 0.8em; |
|
margin-bottom: 1em; |
border-bottom: 1px dotted #dddddd; |
border-bottom: 1px dotted #dddddd; |
color: #999999; } /* Document header. */ |
color: #999999; } /* Document header. */ |
td.head-ltitle { width: 10%; } /* Document header: left-title. */ |
td.head-ltitle { width: 10%; } /* Document header: left-title. */ |