1 /* a few other things are duplicated in main.css and gitweb.css,*/
3 $main-column-max-width: 700px;
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 */