diff options
| author | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-09-04 22:35:46 -0700 |
|---|---|---|
| committer | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-09-04 22:35:46 -0700 |
| commit | 55ea6c63bed596b086bdb3d06e64af5f97dbb55a (patch) | |
| tree | 94d2c4d21ccc6db41cf39ad9ef1ea0f6a6610524 /website/local.css | |
| parent | d4e17a8a5c4cd004997ce4f951a3f20d6e70da2f (diff) | |
| parent | 5a18c464ad8a4547d7c80aa7a508f55353e004f6 (diff) | |
Merge commit 'dkg/master'
Diffstat (limited to 'website/local.css')
| -rw-r--r-- | website/local.css | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/website/local.css b/website/local.css index 3d00d71..29939b8 100644 --- a/website/local.css +++ b/website/local.css @@ -52,6 +52,7 @@ pre { border: 1px solid #aaa; padding: 3px 3px 3px 3px; margin-left: 2em; + overflow: auto; } table.sitenav { @@ -70,12 +71,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 { |