/* CSS Stylesheet by M. Fromberger, Copyright 2003, All Rights Reserved. */

/* Defaults for the whole document */
body {
  font-family: Georgia, Palatino, sans-serif;
  font-size: 12px; /* Baseline font size */
  min-width: 600px;
  background-color: white;
  margin: 3% 6%;
}

small { font-size: 90%; }
a { text-decoration: none; }
tt { font-size: 110%; }
a:hover  { 
  background: #dfd;
  color: #22a;
  padding: 2px 0px;
}
a:active {
  background: #ff6;
}
li { padding: 2pt 0; }

/* This is for inline navigation links within the site */
span.link {
  border: thin solid black;
  background: #333388;
  color: #ccccff;
  padding: 1%;
}
span.alink {
  font-family: "Lucida Grande", Helvetica, sans-serif;
  font-size: 80%;
  font-style: normal;
}
span.link a { color: #ccccff; }
span.link a:active { background: transparent; color: #ffff00; }
span.link a:hover { background: #7777cc; }

/* For file information tags */
span.finfo {
  font-size: 90%;
}

/* For page information in the footer */
p.pageinfo {
  font-size: 90%;
  margin-left: +5%;
  margin-right: +5%;
  text-align: center;
  padding: 1pt;
}
p.footnote {
  font-size: 90%;
  text-align: justify;
  margin-left: +50%;
  color: #333366;
}
p.quote {
  font-size: 90%;
  margin-left: +2em;
  margin-right: +2em;
}
p.stanza { 
  white-space: pre;
  text-indent: 1em;
}

/* Defaults for all headers (overridden for size below) */
h1, h2, h3, h4, h5 {
  font-family: "Arial Rounded MT Bold", "Arial Bold", sans-serif;
  font-weight: normal;
  color: rgb(0%, 0%, 50%);
}

h1 { font-size: 180%; }
h2 { font-size: 160%; }
h3 { font-size: 140%; }
h4 { font-size: 130%; }
h5 { font-size: 120%; }
h1.special { text-align: center; padding: 1%; background-color: #ffcc66; }
h2.special { text-align: center; padding: 5px; background-color: #99ccff; }

/* Preformatted text and code samples */
pre, code {
  font-family: Courier, monospace;
  white-space: pre;
  display: block;
}
code {
  background-color: #dddddd;
  border-style: solid;
  border-color: black;
  border-width: thin;
  padding: 1%;
  margin-left: +10%;
  width: 80%;
}
code span.comment { color: red; }
code span.kw { color: blue; font-weight: bold; }
code span.str { color: #252; }

/* Common table behaviour... */
table { width: 100%; }

/* Main info table on home page */
table.info { width: 100%; }
table.info th.name {
  font-size: 180%;
  font-family: "Lucida Handwriting" "Palatino" serif;
  font-weight: normal;
  text-align: center;
  background: #333388;
  background-image: none;
  color: #ccccff;
  padding-top: 10px;
}
table.info td.addr { 
  text-align: center;
  background: #cccccc;
  background-image: none;
  padding: 10pt; 
}
table.info td.quote { 
  text-align: justify;
  font-family: Georgia, serif;
  font-size: 120%;
  padding: 1em 2em;
  background: #222277;
  background-image: none;
  color: #ccccff;
}
table.info td.quote p.attrib {
  text-align: right;
  font-style: italic;
}
table.info td.about { 
  text-align: left; 
}
table.info td.link {
  text-align: center;
  background: #333388;
  border-style: solid;
  border-color: black;
  border-width: thin;
  padding: 1%;
}
table.info td.link a { color: #ddddff; }
table.info td.link a:active  { color: #ffff00; background: transparent; }

/* Turn off backgrounds on image buttons, but make them look like links. */
button.img { background: none; border: none; }
button.img:hover { cursor: pointer; }

/* Styles related to the friends table (div class "friends") */
div.friends a { font-weight: bold; }
div.friends td { 
  border-width: thin;
  border-style: solid;
  padding: 2pt;
}

/* Notes... */
dl.note { 
  margin-left: 2em; 
  margin-right: 2em; 
  border-width: thin;
  border-color: black;
  border-style: dotted;
}
dl.note dt { background: #aaaaaa; font-weight: bold; padding: 1%; }
dl.note dd { background: #ccccff; padding: 1%; } 

/* Software and course descriptions */
table.sw, table.course { width: 100%; }
table.sw th, table.course th { 
  background: #333388;
  color: #ccccff;
  font-weight: bold;
}
table.sw td, table.course td { vertical-align: top; }
table.sw td.name { border: none; background: #ccf; }
table.sw td { padding-left: 5px; border: thin solid black; }
table.course td.title, table.course td.inst,
table.course td.grade, table.course td.num {
  border-width: thin;
  border-style: solid;
  border-color: black;
}
table.course td.title {
  font-family: Times, serif;
  font-style: italic;
  font-size: 120%;
  background: #dddddd;
}
table.course td.term { text-align: right; }
table.course td.inst { text-align: left; }
table.course td.grade { text-align: center; }

/* Pictures */
table.pics { width: 100%; }
table.pics td.desc { 
  border-width: thin;
  border-style: solid;
  border-color: black;
  padding: 1%;
}

/* Various other useful stuff */
p.stanza { 
  white-space: pre;
  text-indent: 0%;
}

/* For reading list entries */
ul.book li { padding-bottom: 1ex; padding-top: 1ex; }
ul.book ul li { padding: 0%; }
ul.book li span.title { 
  font-family: Georgia, Bookman, Times, serif; 
  font-style: italic;
}
ul.book li p span.title {
  font-family: "Trebuchet MS" Helvetica, sans-serif;
  font-weight: bold;
  font-style: normal;
}
ul.book li span.title:before {
  content: open-quote;
}
ul.book li span.title:after {
  content: close-quote;
}
ul.book li span.isbn {
  font-family: "Trebuchet MS", Helvetica, sans-serif;
}
ul.book li.done, span.done { color: #227722; }
ul.book li.want, span.want { color: #4444aa; }
ul.book li.loan, span.loan { color: #aa44aa; }
ul.book li.done { list-style-type: circle; }
ul.book li.done p { color: #333333; font-size: 90%; }
ul.book li.want { list-style-type: square; }

/* Here there be dragons */