<!--

body {
  background-color: black;
  background-image: url(graphics/stars.gif);
  background-attachment: fixed;
  color: #0F0;
  margin-right: 9.5em;
}

#body {
  font-size: 120%;
}

h2, h3, h4, h5, h6 {
  color: #F66;
  border-bottom: solid red 0.1em;
}

.title h1 {
  color: #F66;
}

#home h1 {
  font-size: 250%;
}

.subtitle {
  color: #888;
}

.title {
  text-align: center;
  margin: 0.5em;
}

.nav {
  background-color: #EEE;
  background-image: url(graphics/smlogo.jpg);
  background-repeat: no-repeat;
  background-position: 50% 0em;
  padding-top: 100px;
  border-left: solid #CCC 0.5em;
  color: black;
}

.mainNav ul {
  background: #DDD;
}

.mainNav ul li:hover {
  background: #CCC;
}

.nav a:link {
  color: #00F;
}

.nav a:visited {
  color: #008;
}

a:link {
  color: #AAF;
}

a:visited {
  color: #44F;
}

hr {
  background: url(graphics/lin_colr.gif) no-repeat;
  height: 4px;
  width: 600px;
  margin-left: auto;
  margin-right: auto;
  border: none;
}

code {
  color: #DDD;
}

strong {
  color: white;
  font-weight: normal;
}

.buglist dt {
  border-bottom: solid red 1px;
}

.dream,
.feature,
.deadbug,
.bug {
  background-repeat: no-repeat;
  background-position: 0 50%;
  line-height: 22px;
  padding-left: 30px;
}

.bug {
  background-image: url(graphics/bug.gif);
}

.deadbug {
  background-image: url(graphics/deadbug.gif);
}

.feature {
  background-image: url(graphics/feature.gif);
}

.dream {
  background-image: url(graphics/cloud.gif);
}

#operators {
  text-align: center;
}

.demo, #body .demo p{
  text-align: center;
}

.demo {
  background: url(diskclock/graphics/dots.gif);
  padding-top: 5px;
}

.demo p {
  margin-top: 0;
  background-color: #BBB;
  color: #222;
  text-decoration: underline;
}

.hover-mode {
  text-align: center;
  background-image: url(diskclock/graphics/arrow.png);
  background-repeat: no-repeat;
  background-position: center center;
}

.hover-mode * {
  vertical-align: middle;
  display:inline;
  color: white;
  font-size: 50px;
  font-weight: bold;  
}

.tutorial div {
  clear: left;
}

.tutorial img {
  float: left;
  margin-right: 1em;
}

/* naked javascript looks ugly in green */
.browser code,
.browser {
  color: black;  
}

pre.code {
  background-color: black;
  border: solid gray 0.5em;
  padding: 0.5em;
  width: 90%;
  height: 200px;
  overflow: scroll;
}

.paypal * {
  vertical-align: middle;
}

.category, .exhibit {
  margin: 0.5em;
  padding: 0.5em;
}

.category {
  background-color: #111;
}

.exhibit {
  clear: both;
  background-color: #222;
}

-->