X-Git-Url: https://iankelling.org/git/?p=iankelling.org;a=blobdiff_plain;f=css%2Fcommon.scss;h=8854f6dd3bbd0c2dbe5fa6fe8e7793fae6c64e4f;hp=13f2490b50892764f112be8a48cd25486cd77dfc;hb=56cff87ea0949598b121518b7887cca1f99c619d;hpb=d668aa72f0503fe96aff5865215602e8f87e1a56

diff --git a/css/common.scss b/css/common.scss
index 13f2490..8854f6d 100644
--- a/css/common.scss
+++ b/css/common.scss
@@ -1,38 +1,19 @@
-/* a few minor things are duplicated in main.css and gitweb.css,*/
+// a few minor things are in main.css and gitweb.css
 
 $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 */
+$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: #ffffff;
+$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: #ffffff;
-
-/* 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');
-}
-
+$text-input-color: #fff;
 
 body {
-    font-family: 'Open Sans',sans-serif;
-    /* default too bright. use gitweb's color */
-    background-color: $site-background-color;
-    /* 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
 }