/* CSS Copyright 2004 by amitp@cs.stanford.edu (Amit J. Patel)  */

/* I don't mind if you copy my stylesheet.  However, I'd appreciate it
   if you gave me credit. */

html {
  background-color: #369;
  padding: 1em 5%;
  font-family: "Bitstream Vera Sans", Verdana, Lucida, Helvetica, Arial, sans-serif;
  font-size: x-small;
}

html.gameprog {
  background-color: #a44;
}

body {
  font-size: 125%; /* Font size trick thank to Wikipedia */
  padding: 0;
  margin: 1em auto;
  min-height: 95%;
}

body#blog h1 {
  margin-top: 1em;
}

body.blog {
  padding-top: 3em;
}

div.main {
  color: #000;
  background-color: #fff;
  border: 1px solid #555;
  border-right: 2px solid #000;
  margin: 0;
  padding: 1em 2em;
}

.footer {
  border-left: 1px solid #555;
  border-bottom: 2px solid #000;
  border-right: 2px solid #000;
  background-color: #fff;
  padding: 0.5em 1em;
  margin: 0;
  font-family: sans-serif;
}

body {
  -moz-border-radius: 10px;
}

div.main {
  -moz-border-radius: 10px 10px 0 0;
}

.footer {
  -moz-border-radius: 0 0 10px 10px;
}

h1, h2, h3, h4, h5, h6 {
  font-family: "avant garde","century gothic","trebuchet ms",sans-serif;
  font-weight: bold;
  color: #029;
  margin-bottom: 0;
}

html.gameprog h1, html.gameprog h2, html.gameprog h3, 
html.gameprog h4, html.gameprog h5, html.gameprog h6 {
  color: #920;
}

h1, html.gameprog h1 {
  margin: 0;
  padding: 0.5em 2em;
  color: #fff;
}

h2:target {
  color: #f00;
  font-size: 2em;
}
div:target {
  border: 1px dashed #888;
}

address {
  text-align: right;
}

.footer p {
  margin: 0;
}
.footer hr {
  display: none;
}

/* http://www.accessibleinter.net/portfolio/writing/revised_method_link_pseudoclasses.php */ 

:link {
  color: #237;
}

html.gameprog :link {
  color: #a44;
}

:visited {
  color: #626;
}

html.gameprog :visited {
  color: #842;
}

:link:hover, :visited:hover {
  text-decoration: none;
  color: #00f;
  background-color: #fff;
}


input:focus { 
  color:HighlightText; 
  background-color: Highlight;
}

div.nav, div.subnav {
  margin: 0;
}
div.subnav {
  padding-left: 1em;
}
div.nav ul, div.subnav ul {
  margin: 0;
  padding-left: 3em;
  font-family: sans-serif;
  font-size: small;
}
div.nav ul {
  padding-top: 10px;
}
div.nav li, div.subnav li {
  list-style: none;
  margin: 0;
  margin-bottom: 0;
  display: inline;
}
div.nav li a, div.subnav li a {
  padding: 0 3px;
  margin-left: 3px;
  text-decoration: none;
}

div.nav :link, div.subnav :link {
  color: #fff;
}
div.nav :visited, div.subnav :visited {
  color: #ccc;
}
div.nav :link:hover, div.subnav :link:hover, div.nav :visited:hover, div.subnav :visited:hover {
  background-color: #fff;
  color: #000;
}
div.nav li#navcurrent a, div.subnav li#navcurrent a {
  color: #fff;
  background-color: #000;
  position: relative; top: 1px;
  z-index: 30;
}
div.nav a, div.subnav a {
  -moz-border-radius: 100%;
}

li, dd {
  margin-bottom: 0.7]5ex;
}

li > em:first-child, li > strong:first-child, dt { 
  color: #369;
}
dt {
  font-weight: bold;
}

html.gameprog li > em:first-child, html.gameprog li > strong:first-child, dt {
  color: #a44;
}

/* Thanks to http://www.svendtofte.com/code/max_width_in_ie/ */
p, li, dd { 
  line-height: 1.7;
  max-width: 40em;
}
p {
  width:expression( 
    document.body.clientWidth > (600/12) * 
    parseInt(document.body.currentStyle.fontSize)?
        "40em":
        "auto" );
}

.note p {
  float: right;
  width: 3in;
  margin-right: 0%;
  padding: 10px;
  border: 2px solid #000;
  background-color: #fff;
}
.note p {
  -moz-border-radius: 12px;
}

pre, code {
  color: #442;
}

pre {
  width: 40em;
  font-size: small;
  white-space: pre;
  background-color: #ededea;
  border: 1px solid #888;
  padding: 4px 12px;
  overflow: auto;
}

pre.snippet {
  border-style: dashed;
}

blockquote {
  font-style: italic;
}

table.standard {
  border: 1px solid #888;
  border-collapse: collapse;
}
table.standard th {
  background-color: #eff;
}
html.gameprog table.standard th {
  background-color: #ffe;
}
table.standard td {
  background-color: #fff;
}
table.standard th, table.standard td {
  border: 1px solid #888;
}

hr {
  border-width: 0px;
  border-top: 1px solid #ccc;
}

.todo {
  background-color: #ccc;
  color: #808;
  font-family: fixed,monospace;
}

html.gameprog ul li {
  list-style-type: square;
  list-style-image: url('/~amitp/dots/square_red.gif')
}
html.gameprog ul li.new {
  list-style-type: square;
  list-style-image: url('/~amitp/dots/square_new_red.gif')
}
html.gameprog ul li.local {
  list-style-type: disc;
  list-style-image: url('/~amitp/dots/disc_red.gif')
}
html.gameprog ul li.localnew {
  list-style-type: disc;
  list-style-image: url('/~amitp/dots/disc_new_red.gif')
}