diff options
Diffstat (limited to 'style.css')
| -rw-r--r-- | style.css | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -25,11 +25,11 @@ table.synopsis { } /* SYNOPSIS section table. */ table.foot { font-size: smaller; margin-top: 1em; border-top: 1px dotted #dddddd; } /* Document footer. */ 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%; } /* Document footer: OS/source. */ 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-vol { width: 80%; text-align: center; } /* Document header: volume. */ -td.head-rtitle { width: 10%; text-align: right; } /* Document header: right-title. */ +td.head-rtitle { width: 10%; } /* Document header: right-title. */ /* General font modes. */ |