/* Style sheet for Cosc 1046/1047 */

body
   {
      /* font-family: Garamond, Georgia, "Times New Roman" "Times Roman", "Times", serif; */
      font-family: "Times New Roman", "Times", serif;
      font-size: 100%;
      margin-left: 1%;
      margin-right: 1%;
      background-color: #FFFFFF;
   }

.sans
   {
      font-family: Verdana, Arial, Helvetica, sans-serif;
      font-weight: bold;
      font-size: 90%;
      color: #660066;
   }  

h1
   {
      font-family: Verdana, Arial, Helvetica, sans-serif;
      font-weight: bold;
      font-size: 175%;
      /* background-color: #804000; */
      background-color: #990000;
      background-color: #804000;
      color: #FFFFFF;
      text-align: center;
      padding: 2pt;
   }

h2
   {
      font-family: Verdana, Arial, Helvetica, sans-serif;
      font-weight: bold;
      font-size: 150%;
      background-color: #9999CC;
      background-color: #9999FF;
      background-color: #FF3118;
      background-color: #0000FF;
      color: #FFFF10;
      color: #FFFFFF;
      text-align: center;
      padding: 2pt;
   }

h3
   {
      font-family: Verdana, Arial, Helvetica, sans-serif;
      font-weight: bold;
      font-size: 125%;
   }

h4
   {
      font-family: Verdana, Arial, Helvetica, sans-serif;
      font-weight: bold;
      font-size: 125%;
   }

code
   {
      /*font-family: "Lucida Console", "Courier New", Courier, monospace;*/
      font-family: "Courier New", Courier, monospace;
      font-size: 100%;
      /* color: #804000; */
   }

hr
   {
      color: #0000FF;
   }

.smalltt
   {
      font-family: "Courier New", Courier, monospace;
      font-size: 90%;
      color: #000099;
   }

pre
   {
      /*font-family: "Lucida Console", "Courier New", Courier, monospace;*/
      font-family: "Courier New", Courier, monospace;
      font-size: 90%;
      /* color: #804000; */
      margin-left: 2em;
      margin-bottom: 0.5em;
      margin-top: 0.5em;
   }

A:hover  
   { 
      color: black; background-color: #6666FF 
   }

/* Tables with a thin black border
   Enclose table in  <div = "mytable> ... </div>
*/

.mytable table, .mytable tr, .mytable th, .mytable td

   {
      /* font-family: "Times New Roman", "Times", serif; */
      /* font-family: Verdana, Arial, Helvetica, sans-serif; */
      
      border-style: solid;
      border-width: 1px;
      border-color: #000000;
      font-size: 100%;
      
   }

.mytable dl {margin-bottom: 0em;} /* avoid extra line at end  */
                                  /* when uses inside a table */
.mytable pre {margin: 0em;}

.mytable th 
   { 
      background-color: #C6EFF7;
      background-color: #CCCCFF;
   }

.mytable td
   {
      background-color: #FFFFFF;
   }