/* $Id: classic.css,v 1.2 2002/06/17 20:26:02 david Exp $ */

span.stylesheetname:before {
  content: "Classic"
}
body {
  font-family: "Times Roman", Times, "Times New Roman", serif;
  font-size: 1em
}
h1 {
  text-align: center;
  font-family: Futura, "Avant Garde", Helvetica, Arial, sans-serif;
  font-size: 200%;
  text-decoration: underline;
  margin-bottom: 0
}
h2 {
  font-family: Futura, "Avant Garde", Helvetica, Arial, sans-serif;
  font-size: 141%;
  margin-bottom: 0
}
h3,h4,h5,h6 {
  font-family: Futura, "Avant Garde", Helvetica, Arial, sans-serif;;
  margin-bottom: 0
}
h1+h2,h2+h3,h3+h4,h4+h5,h5+h6 {
  margin-top: 0
}
p {
  text-indent: 2em;
  text-align: justify;
  margin: 0 0
}
pre,tt,code,kbd,samp {
  font-family: Courier, "Courier New", fixed, monospace;
}
a:link,a:visited,a:active,a:link:hover,a:visited:hover {
  text-decoration: none
}
.centered {
  text-align: center
}
.subtitle {
  font-size: 141%;
  text-align: center
}
.important {
  border: solid
}
.navbar {
  text-align: center;
  font-family: "Times Roman", Times, "Times New Roman", serif
  /* "small" is specified in the HTML itself */
}
p.navbar {
  margin: 1.33em 0
}
.boxedcode {
  border: thick outset;
  padding: 0.5em
}

/* We only specify colors for the screen media because trying to
 * specify colors for a B&W printer may yield disastrous results. */

@media screen {
  html {
    background: silver
  }
  body {
    background: silver;
    color: black
  }
  a:link {
    color: #0000ff
  }
  a:visited {
    color: #4d00ff
  }
  a:active {
    color: #cc00ff
  }
  .important {
    border-color: red
  }
  .brackdate {
    color: #002000
  }
}