/* Time-stamp: <Mon 07-Nov-2016 16:42:02 gmorris on xoc17.stanford.edu> */

@import "https://fonts.googleapis.com/css?family=Source+Sans+Pro:300,400,600,700";

BODY {
    background-color: #f2f1eb; /* #417397, #828282, #99CCFF, #646697 */
    color: #000000;
    min-width: 800px;
    max-width: 1600px;
    margin: 30px 30px 30px 30px;         /* T R B L */
    font-family: 'Source Sans Pro', sans-serif;
}


A:LINK {
    color: #827252;
}

A:VISITED {
    color: #827252;
}

A:HOVER {
    background-color: #00bfff;
    color: #ffffff;
}

A:ACTIVE {
    color: #0000FF;
}


H1 {
    color: #4D4F53;
    font-weight: 700;
}

H2 {
    color: #820000;
    font-weight: 600;
/*    border-bottom: 1px solid grey;*/
}

H3 {
    color: #565347;
    font-weight: 500;
}


STRONG {
    color: #262626;
    font-weight: 700;
}


pre {
    font-family: "Courier New", monospace;
    /*    font-size: 120%;*/
    padding: 11px;
    border: 1px solid #8cacbb;
    margin: 11px 55px;
    color: #454545;
    background-color: #dee7f7;  /* #dee7f7, #dee7ec #ffffcc */
    overflow: auto;             /* scroll-bar if needed */
}


.todo {
    color: #ff0000;
    font-weight: bold;
}


li {
    padding: 0px 0px 12px 0px;
}

code {
    font-family: "Courier New", monospace;
    color: #504f49;             /*333333 */
/*     background-color: #DADEE4;*/
}

p {
    text-indent: 0px;
}


div#header {
    padding: 0px 0px;
    text-align: center;
}

div#header h1 {
    font-size: 300%;
}

div#footer {
    clear: both;
    /* space below border */
    padding: 6px 12px;
    border-top: 1px solid #999;
    text-align: center;
}

div#left {
    float: left;
    text-align: right;
    width: 220px;
}

div#right {
    margin-left: 300px;          /* wider than left */
}



TABLE {
    border: 1px solid grey;
    border-spacing: 11px;
    border-collapse: collapse;
}

TH {
    background-color: #CAD7F0;    /* light blue */
    color: #000000;
    font-weight: bold;
    padding: 11px;
    text-align: center;
    border: 1px solid grey;
}

TD {
    padding: 11px;
    border: 1px solid grey;
}


UL.plain {
    list-style: none;
}