/* style sheet for CS101 pages */

body             { font-family: Palatino, "Century Schoolbook", Times, serif;
                   font-size: 1em; background-color: rgb(255, 255, 249);
                   padding: 1em; 
                   line-height: 1.2; 
                 }

p.note           { font-size: smaller; margin: 0; padding: 0; }
p.note:before    { content: "Note: "; font-weight: 700; }

.framed          { border: 0.3em double rgb(192, 192, 192); margin: 5px; }

.counter         { counter-increment: counter; }

div.note           { font-size: smaller; margin: 0.5em 0 ; padding: 0 0 0 0.5em; border: thin dotted #999999; } 
div.note p:first-child:before    { content: "Note:"; font-weight: bolder; }

h1, h2, h3, h4   { font-family: "Neue Helvetica", Helvetica, serif; }

pre, blockquote, .tt  { font-family: Courier, monospace; font-size: 1em; }

/* code examples */
.codex  { background-color: #FFFFBB; margin: 1em 0 ; padding: .25em .25em .25em 2em; font-family: Courier, monospace; }

code    { font-family: Monaco, Courier, monospace; font-size: 0.9em; }

.note   { font-size: smaller; margin: 2em; }
.quote  { margin : 2em; }
.raise  { color: #990000; }
.light  { color: #888888; }
.none   {;}

/* highlights: inline background colors for text */

span.highlight_yellow { background: #F0E68C; }
span.highlight_red    { background: #FD6347; }
span.highlight_green  { background: #98FB98; }
span.highlight_blue   { background: #F0E68C; }

div.hr  { border-bottom: solid 1px grey; width: 100%; padding-top: 1em; 
    margin-bottom: 1em; text-align: justify; }

div.high { background-color: rgb(255, 255, 204); padding: .25em; margin: .25em; border: thin dotted black } 

/* for table data */
table       { margin: 0 2em 0 2em; }

form { background: #FFFFDD; border: thin dotted #000000; padding: 2em;}

td, th       { vertical-align: top; padding: 0.5em; }
th           { text-align: center; }


/* table fonts */
td           { font-family: Courier, monospace; text-align: left; }
th, .theader, caption  { font-family: "Neue Helvetica", Helvetica, sans-serif; font-weight: normal }

caption      { font-weight: bolder; padding: 0.5em; text-align: center; }
th, .theader { background: #DDDDDD; }

/* everything specified in th in case td is used as header */
td.header    { background: #DDDDDD; font-family: "Neue Helvetica", Helvetica, sans-serif; font-weight: bolder;
               text-align: center; vertical-align: top; padding: 0.5em;
             }
td.decimal_number { font-family: Courier, monospace; text-align: right; padding-right: 1em; }

.dcomment    { font-size: smaller; background-color: rgb(255, 255, 191); text-align: left } /* data comment */
.left        { text-align: left; }
.right       { text-align: right; }
.center      { text-align: center; }
.smaller     { font-size: 0.9em; }
.tiny        { font-size: 0.7em; }

/*    links    */
a         { cursor: pointer; }

a:link    { font-family: Palatino, "Century Schoolbook", Times, serif; color: rgb(0, 0, 102); }
a:visited { font-family: Palatino, "Century Schoolbook", Times, serif; color: rgb(60, 0, 102); } 
a:hover   { font-family: Palatino, "Century Schoolbook", Times, serif; color: rgb(00, 102, 204); } 
a:active  { font-family: Palatino, "Century Schoolbook", Times, serif;
            background: rgb(139, 0, 0); color: rgb(255, 255, 255); text-decoration: none; }


/* lists */
/* li  { line-height: 1.2em; } */
dt  { text-decoration: underline; }
dt.none { text-decoration: none; }
dl.term_bold dt { text-decoration: none; font-weight: bolder; }

div.image       { text-align: center;}
div.image img   { border: 1px solid #999999; }
div.img_caption h2 { font-family: "Helvetica Neue Black Condensed", "Helvetica Neue", "Helvetica", "Arial Black", Arial, sans-serif; color: maroon; font-size: 1.2em;}
div.img_caption p { font-family: "Century Schoolbook", Palatino, serif; }
div.img_caption > p + p { font-size: 0.8em; font-family: "Neue Helvetica", Helvetica, sans-serif;  }