X-Git-Url: https://iankelling.org/git/?p=iankelling.org;a=blobdiff_plain;f=css%2Fcommon.scss;h=7bf33af67b5687980b68dc911dc825e30ebe975e;hp=ca35862f8e7e93c993add9dc7a763d4a496a412c;hb=a5d36b23813ae286ba3fb76e4f60ef6d267ba128;hpb=4d95c360b30ea22e81abfe967476ccf134cee611 diff --git a/css/common.scss b/css/common.scss index ca35862..7bf33af 100644 --- a/css/common.scss +++ b/css/common.scss @@ -1,28 +1,21 @@ -/* a few other things are duplicated in main.css and gitweb.css,*/ +// a few minor things are in main.css and gitweb.css -$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'); -} +@import "open-sans"; +$comment-background-color: #ebeae4; +$comment-br-color: #c4c3bc; // a darkish color, black is too striking +$comment-date-color: #555; // a bit lighter for less emphasis +$content-color: #f6f6f0; // from gitweb. +$inline-code-background-color: #fff; +$link-color: #0645ad; +$link-visited-color: #0b0080; +$main-column-max-width: 700px; +$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: 'Open Sans',sans-serif; + margin: 0; // get rid of the small default margin so we can stripe the page }