summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFederico Igne <git@federicoigne.com>2022-01-27 11:35:04 +0000
committerFederico Igne <git@federicoigne.com>2022-01-27 11:35:04 +0000
commit7db31ff00af7cf188f789942a6b2d6a4a2716b22 (patch)
treef8528e0feab764cc65586d39688be72780f83f12
parent77d580effa83db21e8860257636913cea724331d (diff)
downloadsite-7db31ff00af7cf188f789942a6b2d6a4a2716b22.tar.gz
site-7db31ff00af7cf188f789942a6b2d6a4a2716b22.zip
Make default font smaller in CGit
-rw-r--r--resources/cgit/cgit.css4
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 {
77div#cgit { 77div#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}
115div#cgit table#header td.main { 115div#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