diff options
author | Federico Igne <git@federicoigne.com> | 2022-01-27 11:35:04 +0000 |
---|---|---|
committer | Federico Igne <git@federicoigne.com> | 2022-01-27 11:35:04 +0000 |
commit | 7db31ff00af7cf188f789942a6b2d6a4a2716b22 (patch) | |
tree | f8528e0feab764cc65586d39688be72780f83f12 | |
parent | 77d580effa83db21e8860257636913cea724331d (diff) | |
download | site-7db31ff00af7cf188f789942a6b2d6a4a2716b22.tar.gz site-7db31ff00af7cf188f789942a6b2d6a4a2716b22.zip |
Make default font smaller in CGit
-rw-r--r-- | resources/cgit/cgit.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/resources/cgit/cgit.css b/resources/cgit/cgit.css index e1d1859..d0d2473 100644 --- a/resources/cgit/cgit.css +++ b/resources/cgit/cgit.css | |||
@@ -77,7 +77,7 @@ pre.hl { | |||
77 | div#cgit { | 77 | div#cgit { |
78 | font-family:sans-serif; | 78 | font-family:sans-serif; |
79 | margin:2em; | 79 | margin:2em; |
80 | font-size:10pt; | 80 | font-size:90%; |
81 | } | 81 | } |
82 | @media only screen and (min-width:1080px) { | 82 | @media only screen and (min-width:1080px) { |
83 | div#cgit { | 83 | div#cgit { |
@@ -113,7 +113,7 @@ div#cgit table#header td.logo { | |||
113 | vertical-align:top | 113 | vertical-align:top |
114 | } | 114 | } |
115 | div#cgit table#header td.main { | 115 | div#cgit table#header td.main { |
116 | font-size:3em; | 116 | font-size:300%; |
117 | padding-top:25px; | 117 | padding-top:25px; |
118 | padding-left:10px; | 118 | padding-left:10px; |
119 | white-space:nowrap | 119 | white-space:nowrap |