/* a few other things are duplicated in main.css and gitweb.css,*/ /* but they are for different classes and such, and it's not worth using*/ /* css variables etc at this point. */ /* nice font seen elsewhere. google -> stackoverflow -> localfont.com */ /* If I didn't use this font, I'd just go with sans-serif */ @font-face { font-family: 'Open Sans'; font-weight: 400; font-style: normal; src: url('/font/Open-Sans-regular/Open-Sans-regular.eot'); src: url('/font/Open-Sans-regular/Open-Sans-regular.eot?#iefix') format('embedded-opentype'), local('Open Sans'), local('Open-Sans-regular'), url('/font/Open-Sans-regular/Open-Sans-regular.woff2') format('woff2'), url('/font/Open-Sans-regular/Open-Sans-regular.woff') format('woff'), url('/font/Open-Sans-regular/Open-Sans-regular.ttf') format('truetype'), url('/font/Open-Sans-regular/Open-Sans-regular.svg#Open Sans') format('svg'); } body { font-family: 'Open Sans',sans-serif; /* default too bright. use gitweb's color */ background-color: #d9d8d1; /* get rid of the small default margin so we can stripe the page */ margin: 0; }