/* a few minor things are duplicated 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 */
$content-color: #f6f6f0; // from gitweb.
$inline-code-background-color: #ffffff;
$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');
}


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;
}