/* NC Blue1 is ( 218, 227, 246 ) or #dae3f6 */
/* NC Blue2 is ( 197, 212, 243) or #c5d4f3 */
/* NC Blue3 is ( 186 , 204, 240 ) or #baccf0 */
/* NC Blue4 is ( 174, 193, 233 ) or #aec1e9 */
/* NC Blue5 is ( 143, 171, 229) or #8fabe5 */
/* NC Blue6 is ( 113, 149, 221 ) or #7195dd */
/* NC Blue7 is ( 84 , 127, 214 ) or #547fd6 */
/* ###### Body Text ###### */

body {
  font-family: verdana, tahoma, helvetica, arial, sans-serif;
  /* Size of the text in the links in the menu bar at the bottom*/
  font-size: 75%;
  margin: 0;
}

h1, h2, h3 {
  font-family: arial, verdana, tahoma, sans-serif;
}

h1 {
  font-size: 130%;
  font-weight: bold;
  font-style: italic;
  padding-top: 1em;
  border-top-style: solid;
  border-top-width: 1px;
}

p {
  padding-bottom: 1ex;
}

img {
  border: none;
}

acronym {
  border-bottom-style: dotted;
  border-bottom-width: 1px;
  cursor: help;
}

code {
  font-family: "lucida console", monospace;
  font-size: 100%;
}

dt {
  font-weight: bold;
}

dd {
  padding-bottom: 1.5em;
}

#bodyText {
  text-align: justify;
  line-height: 1.5em;
 /*  margin-left: 12em; */
 /* This adjusts the width to the left of the main portion of the screen. */
 /* It should line up with the left column right edge.                    */
    margin-left: 7em; 
  padding: 0.5ex 14em 1em 1em;
  border-left-style: solid;
  border-left-width: 1px;
}

#bodyText a {
  /* See color-scheme.css */
}

#bodyText a:hover {
  text-decoration: none;
}

.smallCaps {
  font-variant: small-caps;
}


/* ###### Header ###### */

#header {
  height: 4em;
  padding: 0.25em 2.5mm 0 4mm;
}

.headerTitle {
  font-size: 252%;
  text-decoration: none;
  font-weight: bold;
  font-style: italic;
  line-height: 1.5em;
}

.headerTitle span {
  font-weight: normal;
}

.headerLinks {
  font-size: 87%;
  padding: 0.5ex 10em 0.5ex 1em;
  position: absolute;
  right: 0;
  top: 0;
}

.headerLinks * {
  text-decoration: none;
  padding: 0 1ex 0 1ex;
}

.headerLinks a:hover {
  text-decoration: underline;
}

/*  The height of the menu bar background at the bottom */
.menuBar {
  text-align: center;
  /* padding-top: 5ex; */
  padding: 1ex 0 1ex 0;
}


.menuBar * {
  text-decoration: none;
  font-weight: bold;
  font-size: 100%;
  padding: 0 2ex 0 1ex; 
}