diff options
Diffstat (limited to 'website/local.css')
-rw-r--r-- | website/local.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/website/local.css b/website/local.css index ca9fe55..a3c2933 100644 --- a/website/local.css +++ b/website/local.css @@ -71,7 +71,7 @@ table.sitenav img.logo { table.sitenav a { font-weight: bold; margin-right: 1em; - font-variant: small-caps; + font-size: smaller; } table.sitenav span.selflink { |