1 /* a few other things are duplicated in main.css and gitweb.css,*/
2 /* but they are for different classes and such, and it's not worth using*/
3 /* css variables etc at this point. */
5 /* nice font seen elsewhere. google -> stackoverflow -> localfont.com */
6 /* If I didn't use this font, I'd just go with sans-serif */
8 font-family: 'Open Sans';
11 src: url
('/font/Open-Sans-regular/Open-Sans-regular.eot');
12 src: url
('/font/Open-Sans-regular/Open-Sans-regular.eot?#iefix') format
('embedded-opentype'),
14 local
('Open-Sans-regular'),
15 url
('/font/Open-Sans-regular/Open-Sans-regular.woff2') format
('woff2'),
16 url
('/font/Open-Sans-regular/Open-Sans-regular.woff') format
('woff'),
17 url
('/font/Open-Sans-regular/Open-Sans-regular.ttf') format
('truetype'),
18 url
('/font/Open-Sans-regular/Open-Sans-regular.svg#Open Sans') format
('svg');
23 font-family: 'Open Sans',sans-serif
;
24 /* default too bright. use gitweb's color */
25 background-color: #d9d8d1;
26 /* get rid of the small default margin so we can stripe the page */