body {
    background-color: beige;
    background-color: #DEFEFA;
    background-color: #CCE0FF;
    margin: 0;
}


/* background image for top banner */ 
div.header {
    background-image: url("/static/banner.jpg");
    color: white;
    padding-left: 1em;
}
/* style navigation menu */ 
div.subheader {
    padding: 0.2em 1em;
    background-color: #f5f5f5;
    border: 1px solid #e3e3e3;
    border-radius: 3px;
    box-shadow: 0 1px 1px rbga(0, 0, 0, 0.05);
}

/* remove spacing around title */ 
h1.header-title {
    margin: 0;
    padding: 0;
    font-family: Baskerville, serif;
}
/* make site subtitle bold and italic */
div.header-subtitle {
    font-style: italic;
    font-weight: bold;
}

/* remove spacing from navigation menu */
div.subheader ul {
    margin: 0;
    color: #202020;
}
/* make current page bold */ 
div.subheader ul li.active {
    font-weight: bold;
}

/* style the real page body */
div.body {
    margin: 0.5em 0em;
}

/* remove space from top-level page headings */
.title {
    margin-top: 0.5em;
}

div.right-sidebar {
    border-left: solid 1px;
    /*border-left-color: black;*/
}

/* extra space around links */
ul.links li {
    margin: 0.4em;
}

/* set hr color */ 
hr {
    border-color: black;
}

/* customize dl for blog post list */ 
dl.list {
    margin-left: 0;
}
dl.list dd {
    margin-bottom: 1em;
}

/* remove margins */
.tight {
    margin: 0;
}

/* syntax highlighting */
pre {
    background-color: black;
}
code.shell {
    color: #00FF00;
    font-weight: bold;
    /* this line only matters for inline code */ 
    background-color: black;
}


/* dark color scheme */
body {
    background-color: #202020;
    background-color: #000030;
    color: #C0C0C0;
    border-color: #A0A0A0;
}
div.header {
    color: inherit;
}
div.subheader {
    background-color: #B0B0B0;
    background-color: #D0D0D0;
    border: 1px solid #909090;
}
.well {
    background-color: #A0A0A0;
    background-color: #D0D0D0;
    border: 1px solid #909090;
    color: #202020;
}
hr {
    border-color: inherit;
}