* {    font-family: Verdana, Geneva, sans-serif;
       background-color: inherit;
  }
body {background-color:#f8f8f8;}

  #header {background:#f7f7f7;}
  #searchbox {display:none;}
  h2 a {background:transparent;}
  h1 {border:solid 2px transparent;}
  h1.span {background:transparent;}

  table {margin-top:0.5em;border:none;border-collapse:collapse;}
  table * {border:none;}
  td { padding: 0.2em 0.5em;}
       vertical-align: top;
       padding-bottom: 1ex; }
  th { text-align:center; vertical-align:middle;}
  th { background-color:inherit; }

A         { color: #982424; text-decoration: none; }
A:visited { color: #202072; text-decoration: none; }
A:hover   { color: #727272; text-decoration: underline; }
A.noshowlink { color: #000; background-color: inherit; text-decoration: none; }

ul { list-style-type : circle; }

/*
h4 {	font-weight: bold;
	font-size: medium;
	color: #222;
}

h3 {	font-weight: bold;
	font-style: italic;
	font-size: medium;
}

h2 {	font-size: large;
	font-weight: bold;
	margin-top: 3ex;
}
h1+h2 { margin-top: 1ex; }

h1 { font-weight: bold; font-size: x-large; }
*/

p, li, dd { max-width: 50em; }  /* About 80 characters -- much too wide! */

.hangpara { padding-left:1.5em;
	    text-indent:-1em;
	    text-align:left;
	  }
.hangcont { padding-left:1.5em;
	    text-align:left;
	  }

/* Defaults, for a normal browser
   Navigation bar on the right, fixed in the viewport
   */
.maintitle {
    max-width:90em;
    text-align:center;
    padding-bottom:0.5ex;
    border-bottom:thin dotted;
}


.nav-bar { float:right; border: 0.5em solid #F8F8F8;
	   background-color:#ffffff; font-size:smaller;
          }
.nav-bar * {background-color:inherit;}
.nav-bar a { display:block; padding-top:0.1em;
             padding-left:1em; padding-right:1em; }
.nav-bar a:hover { color:#000; background-color:#9fc; text-decoration:none; }
.nav-bar ul { list-style-type:none; padding: 0pt; margin: 0pt; }


/* On small screens, put the nav-bar at the top, and scroll it.
   */
@media handheld {
    .maintitle {
	padding-bottom:inherit;
    }
    .nav-bar {
	position:static;
	width:100%;
	margin:0;
	font-size: normal;
	text-align:center;
	border-bottom:none;
	}
    .nav-bar .hangpara { display:inline; padding:inherit; }
    .nav-bar ul { display:inline; padding:inherit; }
   .main { margin-left:inherit;
	    margin-top:1ex;
	    border:none;
	    padding:inherit;
	  }
}

/* Omit the nav-bar for hard-copy.
   */
@media print {
    .maintitle, .title { border:none; }
    .nav-bar { display:none; }
    .main { width:100%; border:none; margin:initial; padding:initial; }
}