/* main.css -
 *
 * This file defines overall styles for a course Web site.  The colors
 * are based on a "tetrad" scheme from http://colorschemedesigner.com/,
 * seeded with color #a5001d.
 */

body {background: #f0f0f0; margin: 0; padding: 0; font-size: 12px;
    color: #000000; font-family: Verdana, sans-serif, arial, helvetica;
    line-height: 1.4}

#shell {background: #ffffff; position: relative; max-width: 900px;
    min-width: 600px; padding: 0; margin: 2px;  border: 1px solid #808080;}

h1 {font-family: Georgia, Verdana, sans-serif; font-size: 20px;
    color: #722b00; margin: 10px 0 10px 0;}
h2 {font-family: Georgia, Verdana, sans-serif; font-size: 17px;
    font-weight: normal; color: #722b00; margin: 10px 0px 0px 0px;}
h3 {font-size: 12px; background: #f7efe1; color: #722b00;
    font-weight: bold; text-align: center; margin: 10px 0 5px 0;
    padding: 1px 0 1px 0;}

a {text-decoration: underline; color: #a5001d;}
a:hover {color: #e90b3c;}
a:focus {outline: none}

.small {font-size: 90%;}
.noBottomMargin {margin-bottom: 0;}
.noTopMargin {margin-top: 0;}
code {font-size: 115%; line-height: 0;}

p, ul, ol {margin: 6px 0 6px 0;}
li {margin-top: 5px;}

/* Styles for tables that define terms: (*/
table.def {margin: 5px 0 5px 10px; line-height: 1.2;}
table.def td {vertical-align: baseline;}
table.def td.name {font-family: Courier New; font-size: 115%;
    padding-right: 15px;}

.code pre {font-family: Courier New, monospace; font-size: 115%;
    margin: 5px 0px 5px 0px; padding: 2px 10px 2px 10px; display: inline-block;
    background-color: #f7efe1; border: 1px dashed #722b00; line-height: 1.1;}

#header {background-image: url(redGradient.png); background-repeat: repeat-x;
    padding: 5px 5px 0 5px;}
#header h1 {font-size: 24px; color: #ffffff; margin: 5px 0px 5px 0px;}
#header a {color: #ffffff; text-decoration: none;}
#header a:hover {color: #f7efe1;}

#navigation table {color: #ffffff; padding: 0; width: 100%;}
#navigation td {border-bottom: 1px solid #6a0013; padding: 4px 12px 3px 12px;
    margin: 0; white-space: nowrap;}
#navigation td.selected {font-weight: bold; background: #ffffff;
    border-right: 2px solid #6a0013; border-left: 1px solid #6a0013;
    border-top: 1px solid #6a0013; border-bottom: 1px solid #ffffff;
    padding-top: 2px;}
#navigation td.filler {width: 100%;}
#navigation a {color: #ffffff; text-decoration: none;}
#navigation a:hover {color: #e7c8ce;}
#navigation td.selected a {color: #6e0014;}
#navigation td.selected a:hover {color: #d00026;}

#body {padding-left: 5px; padding-right: 5px;}

#footer {margin: 0.25in 0.5in 0.3in 0.5in; border-top: 2px solid #a5001d;
    padding-top: 0.2in; text-align: center;}
#footer {font-style: italic; color: #a5001d;}
#footer a {font-style: italic; text-decoration: none;}

/* Styles specific to the home page: */
#home .columns {margin-top: 10px;}
#home .leftColumn {width: 400px;}
#home .description {margin-top: 0; line-height: 1.3;}
#home .leftColumn, #home .rightColumn {vertical-align: top;}
#home .leftColumn {padding-right: 10px;}
#home .rightColumn {border-left: 1px dotted #a5001d; padding-left: 10px;}
#home .basicInfo .name {font-weight: bold; padding-right: 10px;}
#home .basicInfo td {vertical-align: top; white-space: nowrap;}
#home .rightColumn .small {margin-top: 2px;}
.announcements .announceDate {font-weight: bold;}
.announcements .announceMessage {margin-bottom: 10px;}
#home .project {margin-bottom: 5px;}
#home ul.links {list-style-type: none; padding-left: 0;}
#home ul.links li {margin-bottom: 6px;}

/* Styles specific to the the information page: */
#info ul {margin-top: 0;}
#info .weightings {margin-left: 20px; margin-top: 0px;}
#info .element {padding: 0 10px 0 0;}
#info .value {text-align: right;}
#info .points {padding-left: 3px;}
#info .total td {border-top: 1px solid #000000; font-weight: bold;}

/* Style specific to the lecture summary page: */
#lectures {line-height: 1.4}
#lectures .rightColumn {padding-left: 20px;}
#lectures .leftColumn, #lectures .rightColumn {vertical-align: top;}
#lectures .week {margin-bottom: 20px;}

/* Shared styles for lecture summary info: */
.lectureDateNumber {width: 100px; padding: 2px 0 2px 5px;
    font-size: 90%;} 
.lectureNumber {font-weight: bold;}
.lectureTopics {width: 280px; padding: 2px 0 2px 0;}
a.lectureTitle {font-weight: bold; color: #722b00;}
a.lectureTitle:hover {color: #d00026;}
a.lectureSlides {margin-left: 5px; color: #000000;}
a.lectureSlides:hover {color: #d00026;}
.separatorAbove td {border-top: 1px solid #f7efe1;}

/* Styles specific to lecture notes (these notes are here rather
 * than in lecture.php so they the lecture notes can be viewed outside
 * the class Web site):
 */
#lectureNotes {background: #ffffff;}
#lectureNotes p.heading {font-weight: bold; margin-bottom: 0;}
#lectureNotes span.code {font-family: Courier New, monospace; font-size: 115%;}
#lectureNotes div.instructor {font-style: italic; color: #000080;}
#lectureNotes div.boxed div {margin-left: 40px; margin-top: 2px;
    padding: 2px 10px 2px 10px; background-color: #f7efe1;
    border: 1px dashed #722b00; display: inline-block;}
#lectureNotes table.definitions td {padding: 0px 10px 2px 0px;}
#lectureNotes div.spacer {padding-top: 12px;}
/* Can't set margin-left to 0 below, or IE loses all the bullets! */
#lectureNotes ul {margin-top: 0px; margin-bottom: 0px;}
#lectureNotes li {margin-top: 4px;}

/* Styles for "big" lecture notes: */
#lectureNotes .big {font-size: 24px; background: #ffffff;}
#lectureNotes .big h1 {font-size: 28px;}
#lectureNotes .big h2 {font-size: 24px;}
#lectureNotes .big pre {font-size: 28px;}
#lectureNotes .big li {margin-top: 12px;}
#lectureNotes .big pre {font-size: 100%;}
#lectureNotes .big div.instructor {margin-top: 12px;}

/* Styles that apply only in the "html" version of the notes
 * (used by instructor for development). */

body.instructorNotes {background: #ffffff; padding: 0 5px 0.5in 5px;}

/* Styles for project overview information: */
.project {margin-bottom: 10px;}
.project .title a {font-weight: bold; color: #722b00;}
.project .title a:hover {color: #d00026;}
.project .due {font-size: 90%;}
.projectSeparator {border-top: 1px solid #f7efe1; padding-bottom: 5px;}

/* Styles for project description pages: */
#project h1 {margin-bottom: 0;}
#project .due {margin-bottom: 15px;}
#project .warning {background: #f6e6e8; color: #a5001d; font-size: 14px;
    font-weight: bold; margin: 5px 20px 5px 20px; padding: 5px 20px 5px 20px;
    border: 1px solid #a5001d;}

/* Styles for the staff page: */
#staff .staff td {padding: 20px 20px 0 20px; vertical-align: top;}
#staff .name {font-weight: bold; color: #722b00;}
#staff .name a {text-decoration: none; color: #722b00;}
#staff .name a:hover {color: #d00026;}
#staff .placeholder {width: 146px; height: 127px;
    border: 2px solid black; font-size: 48px;
    color: #a5001d; text-align: center; padding-top: 50px;
    margin-bottom: 2px;}
#staff p {margin: 20px 20px 20px 20px;}
#staff img {border: 1px solid #000000;}

/* Styles for railsCommands.php: */
#railsCommands .code pre {margin-top: 15px; margin-bottom: 0;}