/* $Id: theme-main.css 60 2008-07-16 21:31:52Z markb $ */

body {
  margin-left: 0;
  margin-right: 0;
  margin-top: 0;
  font-size: 12pt;
}

/* for boilerplate-style text */
.intro {
  font-size: 1em;
  font-family: helvetica, arial, sans-serif;
  font-weight: normal;
}

/* for "last modified" and copyright text */
.modified {
  font-family: helvetica, arial, sans-serif;
  font-style: italic;
}

/* general paragraph text */
.text {
  font-size: 1em;
  font-family: serif;
}
p.text {
  padding-left: 2em;
  padding-right: 2em;
}
.text p {
  padding-left: 2em;
  padding-right: 2em;
}

ul.text {
  font-family: serif;
}
table.text {
  margin-left: 5em;
}


/* The following styles are for page banners or sidebars,
 * including the title text and the navigation links.
 */

/* box that surrounds the title banner */
div.banner {
  border: solid;
  border-width: 1px;
  font-family: helvetica, arial, sans-serif;
  text-align: top;
  position: relative;
  left: 0;
  right: 0;
  top: 0;
  white-space: nowrap;
}
.banner h1 {
  display: inline;
  font-size: 1.4em;
  vertical-align: top;
  margin-bottom: 0;
  margin-top: 0;
}
.banner img {
  display: inline;
  margin-right: 1em;
}

.banner .links {
  text-align: right;
  font-size: .8em;
  position: absolute;
  top: 3em;
  right: .5em;
}

.banner .links a:hover {
  text-decoration: none;
}
.banner .links a:visited {
  /* nothing */
}

/* Box with just nav. links, used in such places as page bottom */
.footer {
  border: solid;
  border-width: 1px;
  left: 0;
  right: 0;
  font-family: helvetica, arial, sans-serif;
  text-align: top;
  position: relative;
  display: block;
  text-align: center;
  margin-top: 1em;
}
.footer a:hover {
  text-decoration: none;
}

/* "site sub-section" space in banner */
.sitesection  {
  font-size: 1.25em;
  font-weight: bold;
  font-style: normal;
  font-family: helvetica, arial, sans-serif;
  text-align: left;
  margin-bottom: 1em;
  margin-top: 0;
  left: 0;
  right: 0;
  border: solid;
  border-width: 1px;
}

/* Copyright, credits, and other notices at foot of document */
.colophon {
  text-align: center;
  font-weight: normal;
  font-style: italic;
  font-family: helvetica, arial, sans-serif;
  margin-top: 1em;
}
.colophon p {
  margin-top: 1ex;
  margin-bottom: 0;
}
.colophon img {
  border: 0;
}

/* ol.instruction_list:  for
 * "important" lists of things to do.
 */
ol.instructionlist {
  font-family: helvetica, arial, sans-serif;
  font-size: 1.15em;
}


/* the listdata classes are useful for tables of database
 * output, etc.
 */
.listdata {
  font-family: monospace;
  font-size: 1em;
}
table.listdata {
  border: solid;
  border-width: 1px;
  width: 90%;
  margin-left: +7%;
  margin-right: +2%;
  margin-bottom: 10px;
}
th.listdata {
  font-family: helvetica, arial, sans-serif;
  font-size: 1.25em;
  font-style: italic;
}
td.listdata {
  border-bottom: dotted;
  border-bottom-width: thin;
  vertical-align: top;
}
div.listdata {
  border: solid;
  border-width: 1px;
  padding-top: .5em;
  padding-right: .5em;
  padding-left: 1em;
  padding-bottom: .5em;
  margin-bottom: 1em;
  margin-left: +7%;
  margin-right: +2%;
  margin-bottom: 10px;
}
.listdata ul {
  border: none;
  margin: 0;
  white-space: nowrap;
  padding-left: 1em;
}
.listdata li {
  padding-left: 0;
  line-height: 150%;
}

/* end listdata */


/* tablecaption:
 * A kludge for "captions" for the listdata tables because v. 4
 * browsers don't render <caption>s with backgrounds very nicely.
 * Intended to be used with td elements, though could be used
 * for caption elements in the future when the old browsers die
 * and go away.
 */
.tablecaption {
  text-align: center;
  font-weight: bold;
  font-size: 1.2em;
  font-family: helvetica, arial, sans-serif;
}

/* for warning text that has a thin red box
 * around it.
 */
.notice {
  border: solid;
  border-width: 1px;
  font-weight: bold;
  font-family: helvetica, arial, sans-serif;
  padding: 0.5em;
  font-size: 1em;
  margin-left: +1em;
  margin-right: +1em;
  margin-top: 1em;
}

/*  mainmenu
 *
 */
div.mainmenu {
  border: solid thin black;
  margin-top: 10px;
  margin-left: 10px;
  margin-right: 10px;
}
.mainmenu h2 {
  border: solid thin black;
  margin-top: 0;
  font-family: helvetica, arial, sans-serif;
  padding-left: 5px;
}
.mainmenu table {
  width: 100%;
}
.mainmenu table tr td {
  vertical-align: top;
  font-family: helvetica, arial, sans-serif;
  padding-left: 10px;
}
.mainmenu ul {
  list-style-type: none;
}



/* Normal html tags
 */
a:link {
  font-family: helvetica, arial, sans-serif;
}
a:hover {
  font-family: helvetica, arial, sans-serif;
  text-decoration: none
}
a:visited {
  font-family: helvetica, arial, sans-serif;
}
h1 {
  font-size: 140%;
  font-family: helvetica, arial, sans-serif;
  margin-bottom: .25em;
}
h2 {
  font-size: 120%;
  font-weight: bold;
  font-style: italic;
  font-family: helvetica, arial, sans-serif;
  margin-bottom: .25em;
}
h3 {
  font-size: 110%;
  font-weight: bold;
  font-style: italic;
  font-family: helvetica, arial, sans-serif;
  margin-bottom: .25em;
}

h4, h5, h6 {
  font-size: 105%;
  font-weight: normal;
  font-style: italic;
  font-family: helvetica, arial, sans-serif;
  margin-bottom: .25em;
}
pre {
  font-family: monospace;
  font-size: 90%;
}
code {
  font-size: 90%;
}
form {
  margin-top: 0;
  margin-bottom: 0;
}