diff options
Diffstat (limited to 'userContent/reproducible')
| -rw-r--r-- | userContent/reproducible/netbsd/global.css | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/userContent/reproducible/netbsd/global.css b/userContent/reproducible/netbsd/global.css index 7f8b345e..3e8c75d4 100644 --- a/userContent/reproducible/netbsd/global.css +++ b/userContent/reproducible/netbsd/global.css @@ -6,7 +6,7 @@ body { font-family: Tahoma, sans-serif; font-size: small; line-height: 1.3em; - margin: 0; + margin: 1.5em; padding: 0; } @@ -533,7 +533,10 @@ h4 { table { font-size: 100%; /* keeps font size the same as in the body */ - Border-Width: 0.0em; + Border-Width: 0.2em; + Width: 90%; + Margin-Left: auto; + Margin-Right: auto; } table td { |