/*
 * A design for the CS362 Web site.
 * Copyright (c) 2002 Samuel A. Rebelsky.  All rights reserved.
 */

/* Here's a nice overall appearance.  Some extra whitespace at the sides.  Mostly white. */
BODY {  
  margin-left: 100px;
  margin-right: 8%; 
  color: black;
  background-color: white;
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
}

/* The head and the foot. */
div.head {
}

div.foot {  
  border: solid silver;
  border-width: 3px 0em 0em 5px;
  margin-right: -0.5em; 
  padding-right: 0.2em;
  padding-top: 0.5em;
  padding-left: 0.5em;
}

div.pagenotes {
  margin-left: 15%;
  font-size: small;
}

/* The fascinating history section */
div.history {
  margin-left: 3em;
  padding-left: 1em;
  border-width: 0.1em 0em 0em 0.1em;
  border-color: gray; 
  /* border-width: 0.1em; */
  color: gray;
  font-size: small;
}

div.history p {
  color: gray;
}
div.history li {
  color: gray;
}
div.history ul {
  color: gray;
}
div.history a:link {
  color: gray;
}
div.history a:visited {
  color: gray;
}

div.history H3 {
  color: gray;
  margin-left: 0em;
  border-width: 0em;
}

div.history HR {
  width: 50%;
  text-align: right;

}

/* Have some fun with my headers */
H1, H2, H3 { 
  font-family: "Helvetica", sans-serif;
  border: solid silver;
  border-width: 2px 0em 0em 5px;
  margin-left: -0.7em; 
  padding-left: 0.2em;
  padding-top: 0.5em;
  /* padding: 0em 0em 0.25em 0em */
  /* margin-left: -5% */
  /* background-color: #FF3333; */
  /* border: #FF3333; */
}

H1, H2 {
  font-family: Helvetica, sans-serif;
  font-size: 1.6em;
  font-weight: bold;
}

H3 {
  font-size: 1.4em;
  font-weight: bold;
}

P {
  /* text-align: justify; */
}

P.course {  
  font-family: "Arial", "Helvetica", sans-serif; 
  /* color: Red ;  */
  font-weight: bold;
  text-align: right;
}


/* The collection of links that appear at the top and bottom of each page. */
p.links {
  text-align: left;
  font-size: small;
}

p.morelinks {
  text-align: left;
  font-size: small;
}

HR {
  width: 50%;
  text-align: right;
  color: maroon;
}
HR.history {
  width: 50%;
  text-align: right;
}

DT {
  font-weight: bold;
}

SPAN.uimenu {
  font-weight: bold;
  font-family: Helvetica, sans-serif;
}

SPAN.uimenuitem {
  font-weight: bold;
  font-family: Helvetica, sans-serif;
}

SPAN.deleted {
/*
  border: solid red;
  border-width: 0px 1px 1px 1px;
  padding: 2px 2px 2px 2px;
  margin: 20px 5px 5px 5px;
*/
  text-decoration: line-through;
}

SPAN.inserted {
/*
  border: solid blue;
  border-width: 1px 1px 0px 1px;
  padding: 2px 2px 2px 2px;
  margin: 5px 5px 5px 5px;
*/
}

DIV.cfg {
  color: black;
  background-color: rgb(224,224,224);
  margin-left: 2em;
  padding: 0em 1em 0em 1em;
  font-family: Helvetica, sans-serif;
  border: solid blue;
}

DIV.derivation {
  color: black;
  background-color: rgb(224,224,224);
  margin-left: 2em;
  padding: 0em 1em 0em 1em;
  font-family: Helvetica, sans-serif;
  border: solid green;
  line-height: 2em;
}