diff options
Diffstat (limited to 'skins')
| -rw-r--r-- | skins/contrib/Mozilla/global.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/skins/contrib/Mozilla/global.css b/skins/contrib/Mozilla/global.css index 024c1054a..d042a55f6 100644 --- a/skins/contrib/Mozilla/global.css +++ b/skins/contrib/Mozilla/global.css @@ -648,6 +648,12 @@ table.tabs { padding: 1em 2em; } +/* splinter */ + +#splinter-files .new-line, #splinter-files .old-line { + font-size: 90%; +} + /* Smaller than standard 990 (devices and browsers) */ @media only screen and (max-width: 989px) { #header .links { |