version 1.28, 2014/09/27 09:13:39 |
version 1.29, 2014/09/27 09:20:03 |
Line 28 td.foot-date { width: 50%; } /* Document footer: date. |
|
Line 28 td.foot-date { width: 50%; } /* Document footer: date. |
|
td.foot-os { width: 50%; } /* Document footer: OS/source. */ |
td.foot-os { width: 50%; } /* Document footer: OS/source. */ |
table.head { font-size: smaller; margin-bottom: 1em; border-bottom: 1px dotted #dddddd; } /* Document header. */ |
table.head { font-size: smaller; margin-bottom: 1em; border-bottom: 1px dotted #dddddd; } /* Document header. */ |
td.head-ltitle { width: 10%; } /* Document header: left-title. */ |
td.head-ltitle { width: 10%; } /* Document header: left-title. */ |
td.head-vol { width: 80%; text-align: center; } /* Document header: volume. */ |
td.head-vol { width: 80%; } /* Document header: volume. */ |
td.head-rtitle { width: 10%; } /* Document header: right-title. */ |
td.head-rtitle { width: 10%; } /* Document header: right-title. */ |
|
|
/* General font modes. */ |
/* General font modes. */ |