body {
    padding: 0;
    margin: 0;
    font-size: 1.1em;
}

.clearfix {
    clear: both;
}

a {
    color: rgb(27, 82, 165);
}

a:hover {
    color: rgb(84, 133, 207);
}

#page {
    min-width: 1000px;
}

#header {
    margin: 0;
    padding: 8em 0 8em 8em;
    background: linear-gradient( rgba(0, 0, 0, 0.62), rgba(0, 0, 0, 0.62) ), #184555 url('../imgs/beans_factory.jpg') no-repeat left top;
    background-size: cover;
    -webkit-background-size: cover;
    -moz-background-size: cover;
    -o-background-size: cover;
    border-bottom: 1em #333 solid;
}

h1, h2, h3, h4, h5, h6 {
    font-family: 'Antic Slab';
}

h2 {
    font-size: 2em;
}

#header h1 {
    font-family: 'Antic Slab';
    font-size: 3.5em;
    color: #FFF;
    text-shadow: #000 2px 2px 2px;
    margin: 0;
    padding: 0;
}

ul#navigation {
    margin: 2em 0 0 0;
    padding: 0;
}

ul#navigation li {
    display: inline;
    margin: 1em 2em 1em 0;
    font-size: 1.2em;
}

ul#navigation a {
    color: #C9E7F2;
    text-shadow: #000 1px 1px 1px;
    font-family: 'Antic Slab';
    text-decoration: none;
}

ul#navigation a:hover {
    color: #FFF;
    text-shadow: #000 3px 3px 3px;
}

#content {
    margin: 2em;
    font-size: 1.2em;
    font-family: Georgia, serif;
}

#meeting-place {
    font-size: 1.1em;
}

#listserv {
    font-weight: bold;
}

.announcement {
    margin: 1em;
    padding: 1em;
    background: #cde5e6;
}

strong, b {
    font-weight:bold;
}

.announcement .when {
    font-weight: bold;
}

#calendar-cont {
    text-align: center;
}

p {
    font-weight: lighter;
    color: #333;
}

table#written, table#programming, table#lectures, table#changes {
    width: 800px;
    margin: 0 auto;
}

table#written thead, table#programming thead, table#lectures thead, table#changes thead {
    background: #EEE;
    color: #333;
}

table#written th,
table#written td,
table#programming th,
table#programming td,
table#changes th,
table#changes td,
table#lectures th,
table#lectures td {
    padding: 0.5em;
}

table#lectures tr td:first-child {
    color: #555;
    font-size: 0.9em;
}

.textbook {
    margin: 0 1em 1em 0;
    float: left;
}

.processor {
    margin: 0 0 1em 1em;
    float: right;
}

ol#handin-steps li {
    margin: 1em 0;
}

pre.terminal,
span.terminal {
    background: #DDD;
    color: #333;
    padding: 0.25em;
    font-family: monospace;
}

.computer-word {
    font-family: monospace;
}

.staff {
    margin: 3em;
    font-size: 0.8em;
}

h4 {
    margin: 0;
}

.staff h4 {
    font-size: 1.5em;
}

.staff .office-hours {
    font-size: 0.9em;
}

.staff .info {
    margin-left: 175px;
    padding-top: 2em;
}

img.portrait {
    margin: 10;
    float: left;
    border-radius: 75px;
}

th {
    text-align: left;
}