/* 
CSS file for cs112 
   Sohie 
   January 2007
 */

/* The following font attributes will apply to the whole document, unless
overridden. */

BODY {
   font-family: Verdana, Arial, sans-serif;
   font-size:  12pt
   }

/* The following means that all the header tags will share these
properties. */

H1, H2, H3, H4, H5, H6 {
    font-family: Verdana, Arial, sans-serif;
    font-weight: bold;
    color: #0066FF;
    }/* The following apply to particular header tags.  */

H1 { font-size: 18pt; }

H2 { font-size: 16pt; border-top: 2px solid; border-top-color: #0066FF }

H3 { font-size: 14pt; }

H4 { font-size: 12pt; }

H5 { font-size: 10pt; }

H6 { font-size: 9pt; }

GRK {
   font-family: Symbol, Helvetica Greek, sans-serif;
   font-size:  12pt
   }

/* Modify the LI tag so that there's a little bit of space after each list
item, except when the list is "class=compact." */

OL LI, UL LI { margin-top: 5pt }

OL.compact LI, UL.compact LI { margin-top: 0pt }

/* This is also for exercises, but it clears, indents and draws a red box.
 The matching SPAN is for formatting the title of the exercise.  */

DIV.ex {
       border-style: solid;
       border: solid red;
       padding-left: 5px;
       padding-right: 5px;
       clear: left;
       margin-top: 0.2in;
       margin-left: 5em;
       margin-right: 5em;
}

DIV.ex1 {
       border-style: dashed;
       border: dotted gray;
       padding-left: 5px;
       padding-right: 5px;
       clear: left;
       margin-top: 0.2in;
       margin-left: 3em;
       margin-right: 3em;
}

DIV.box {
       border-style: solid;
       border: solid blue;
       padding-left: 5px;
       padding-right: 5px;
       clear: left;
       margin-top: 0.5in;
       margin-bottom: 0.5in;
       margin-left: 5em;
       margin-right: 5em;
       width: 3in;
       height: 3in;
}

DIV.block {
       padding-left: 2px;
       padding-right: 2px;
       clear: left;
       margin-top: 0.15in;
       margin-left: 2em;
       margin-right: 2em;
}

DIV.fill {
       margin-top: 1.5in;
}

DIV.lil {
       margin-top: .4in;
}

SPAN.ex { font-size: 16pt; color: red; }
SPAN.boxspace { margin-left: 1.0in; line-height: 1.5in }        
SPAN.lilspace { margin-left: 0.2in }        
SPAN.medspace { margin-left: 0.5in }    
SPAN.bigspace { margin-left: 1.0in }    
SPAN.gap { margin-left: 1.2in }    

SPAN.dangbig {color: white; font-size: 38pt; font-family: verdana,trebuchet-ms, sans-serif; font-weight: bold; background-color: cornflowerblue; margin-left:80px; margin-top: 90px;}
SPAN.reallybig {color: darkblue; font-size: 24pt; font-weight: bold}
.reallybig{color: darkblue; font-size: 24pt; font-weight: bold}
SPAN.note {font-size: 10pt;}
SPAN.tiny {font-size: 10pt; font-weight: bold}
SPAN.tiny1 {font-size: 10pt}
SPAN.small {font-size: 11pt}
SPAN.tiny2 {font-size: 8pt}
SPAN.biggreen {color: 00CCFF; font-size: 20pt; font-weight: bold}
SPAN.bigmg {color: purple; font-size: 16pt}
SPAN.bigmg2 {color: purple; font-size: 14pt}

SPAN.lilmat {color: darkblue; font-family: Courier; font-size: 12pt; font-weight: bold}
SPAN.mat {color: darkblue; font-family: Courier; font-size: 15pt; font-weight: bold}
SPAN.fadedmat {color: lightgray; font-family: Courier; font-size: 15pt; font-weight: bold}
SPAN.tipH3 {color: FF4500; font-family: Verdana; font-size: 12pt; font-weight: bold}
SPAN.tip {color: 00008B; font-family: Verdana; font-size: 12pt; font-weight: bold}

SPAN.obar {font-weight:bold; text-decoration:overline}

/* The following is useful when we want to switch back to the "normal"
body text withi some other environment. */

.body {
    font-family: Verdana, Arial, sans-serif;
    font-size: 12pt;
}

/* This is for meta-comments in the text */

P.note {
      color: maroon;
}      

/* This is used for longish code examples, putting them in a nice box. */

PRE {  
       border-style: double;
       border-width: 3px;
       border-color: gray;
       padding-left: 5px;
       padding-right: 5px;
       padding-top: 5px;
       padding-bottom: 5px;
       clear: left;
}

SPAN.sohiebox {  

       padding-left: 5px;
       padding-right: 5px;
       padding-top: 5px;
       padding-bottom: 5px;
       clear: left;
       font-size: 11pt;
       color: navy;
}

SPAN.cd {font-weight: bold;
    color: green;
}

SPAN.bl {font-weight: bold;
    color: blue;
}

SPAN.dkbl {font-weight: bold;
    color: navy;
}

SPAN.mg {font-weight: bold;
    color:purple;
}

SPAN.red {font-weight: bold;
    color:red;
}

SPAN.green {font-weight: bold;
    color:green;
}

SPAN.menu {background-color:yellow;}

SPAN.er {font-weight: bold;
    color:red;
}
SPAN.bc { 
     font-family: Courier;
     font-size: 13pt;
     color:blue;
}
CODE { 
     font-size: 13pt;
}

/* Can use these like this:  <code class="bl"> blah blah </code> */

CODE.bl {
     color: blue;
     font-size: 14pt;
     font-weight: bold;
}

CODE.bl2 {
     color: blue;
     font-size: 13pt;
     font-weight: bold;
}

CODE.cd {
     color: green;
     font-size: 14pt;
     font-weight: bold;
}

CODE.mg {
     color: purple;
     font-size: 14pt;
     font-weight: bold;
}

CODE.em {
     color: red;
     font-size: 13pt;
     font-weight: bold;
}

CODE.scd {
     color: green;
     font-size: 12pt;
     font-weight: bold;
}

CODE.scd2 {
     color: green;
     font-size: 13pt;
     font-weight: bold;
}

CODE.sm {
     font-size: 12pt;
}



/* Guidelines for CS112 notes:

* Don't use the HR tag.  Either use H2 (which gets you a line) or H3,
  which doesn't.

* Exercises are wrapped with the <DIV class="ex"></DIV> tags.  That
  produces the indentation, the red box and so forth.  Around the name of
  the exercise, use <SPAN class="ex">Exercise 1:</SPAN> and the like.

* Use the CODE tag for presenting code; we can modify its presentation
  here if we choose.  Use the PRE tag for any extended amount of code, so
  that you can avoid the embedded <BR> tags that make the source even
  harder to read.  Avoid using the TT tag

* Prefer EM and STRONG over I and B, even though they're longer, since it
  makes the intent more clear and allows us to consistently control their
  presentation via this file.  

*/