-/* a few other things are duplicated in main.css and gitweb.css,*/
+// a few minor things are in main.css and gitweb.css
+$comment-background-color: #d9d8d1;
+$comment-br-color: #c4c3bc; // a darkish color, black is too striking
+$comment-date-color: #555; // a bit lighter for less emphasis
+$content-color: #ebeae4;
+$inline-code-background-color: #fff;
+$link-color: #0645ad;
+$link-visited-color: #0b0080;
$main-column-max-width: 700px;
-
-/* 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');
-}
-
+$page-header-link-color: #333;
+$site-background-color: #d9d8d1; // from gitweb.
+$text-input-color: #fff;
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;
+ background-color: $site-background-color; // default too bright. use gitweb's color
+ font-family: "Lucida Sans Unicode","Lucida Grande","Verdana","FreeSans",sans-serif;
+ margin: 0; // get rid of the small default margin so we can stripe the page
}