Add older versions of man pages + misc site improvements
This commit is contained in:
parent
2196b2fbd4
commit
436c5b5294
9 changed files with 192 additions and 23 deletions
|
|
@ -28,6 +28,8 @@ header p, header p * { font-size: 9px; text-decoration: none; line-height: 1.8em
|
|||
header p a:hover { text-decoration: underline }
|
||||
header p b { display: block; margin-top: 10px; margin-bottom: 2px }
|
||||
|
||||
small { font-size: 9px; }
|
||||
|
||||
@media (min-width: 1200px) {
|
||||
* { font-size: 16px }
|
||||
#body { width: 1000px }
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue