/* Ah, Flushing Meadows! 
   $Id: style.css,v 1.3 2001/04/24 23:07:34 spalmer Exp $ */

/* Declare link colors and behaviours */
a:link { color: #0000f0; background-color: transparent; font-weight: bold; }
a:visited { color: #0800d0; background-color: transparent; font-weight: bold; }
a:hover, a:focus { background-color: #ffffe0; font-weight: bold; }

/* Declare body stuff */
body { font-family: arial, sans-serif; font-size: 1em; 
       margin: 0.7em 1.7em 1em 1.45em; }

/* Headings junk */
h1 { font-family: sans-serif; font-size: 2em; }
h2, h3, h4, h5 { font-family: arial, sans-serif; 
       margin-left: 0em; }
h2 { font-size: 1.52em; }
h3 { font-size: 1.15em; }

/* Basic Text */
p, blockquote, address, ul, ol, dl, div.toc, div.foot { font-size: 0.95em; }
p { margin-left: 0.2em; }
blockquote { font-style: italic; color: #303f68; 
       background-color: transparent; }

/* Other Structure */
img { border: 0em; }
dl { margin-left: 1.7em; }
dt { font-weight: bold; }
pre { margin-left: 2em; color: #302580; background-color: transparent; 
      font-family: "courier new", monospace; padding: 1em; 
      font-size: 0.85em; font-weight: bold; white-space: pre; 
      text-align: left; text-indent: 0em; }

/* Now for inline stuff */
strong { color: #003870; }
rt { color: #073f78; font-family: verdana; font-size: 0.65em; 
     font-weight: bold; background-color: transparent; }

/* WAI stuff: add a border and a pause to show "new context" */
h1 { margin-top: 0.25em; padding-top: 0.5em; pause-before: 170%; }
address { padding-top: 0.5em; padding-bottom: 0.35em;
          font-style: normal; pause-before: 170%; }
@media screen {
 address, h1 { border-top: 2px solid #808090; }
 /* Separate pre from other content */
 pre { border: 1px solid #a0a0a0; }
}