diff options
Diffstat (limited to 'website/local.css')
| -rw-r--r-- | website/local.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/website/local.css b/website/local.css index 69defae..cb966f8 100644 --- a/website/local.css +++ b/website/local.css @@ -61,12 +61,14 @@ table.sitenav img.logo { table.sitenav a { font-weight: bold; margin-right: 1em; + font-variant: small-caps; } table.sitenav span.selflink { font-weight: bold; text-decoration: underline; margin-right: 1em; + font-variant: small-caps; } div.header { |