/*
 * A generic design for Sam Rebelsky's course sites.
 * Copyright (c) 2001-2003 Samuel A. Rebelsky.  All rights reserved.
 */

/* 
 * Here's a nice overall appearance.  Some extra whitespace at the sides.  
 * Mostly white.  Note that the 100px at the left is intended to be
 * enough for the logo.
 */
BODY {  
  margin-left: 120px;
  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 { 
  color: black;
  background-color: white;
  font-family: "Helvetica", "sans-serif";
  font-weight: bold;
  border: solid silver;
  margin-left: -0.7em; 
  padding-left: 0.2em;
  padding-top: 0.5em;
}

H1 {
  border-width: 6px 0em 0em 5px;
  font-size: 1.6em;
  margin-left: -20px;
}

H2 {
  border-width: 4px 0em 0em 5px;
  font-size: 1.4em;
  margin-left: -10px;
}

H3 {
  border-width: 2px 0em 0em 5px;
  font-size: 1.2em;
}

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;
}

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.uibutton {
  font-weight: bold;
  font-family: Helvetica, sans-serif;
  color: black;
  background-color: silver;
}

SPAN.uiwindow {
  font-family: Helvetica, sans-serif;
}

SPAN.uikey {
  font-family: Helvetica, sans-serif;
  font-style: oblique;
}

DIV.shortversion {
  border: solid silver;
  border-width: 2px 2px 2px 2px;
}

DIV.code {
  color: black;
  background-color: silver;
}

KBD {
  font-weight: bold;
}

SPAN.schemeresult {
  color: green;
}

SPAN.schemeerror {
  color: red;
}