/* ignIT style css, sdp'11 */
body {
  /*
  font-family: Georgia, serif;
  font-weight: bold;
  */
  font-family: Helvetica, sans-serif;
}

h1, h2, h3, h4, h5, h6 {
  font-family: Helvetica, sans-serif;
  font-style: italic;
}

a {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

#content .toc {
  font-size: 80%;
}
#content .toc ul {
  margin: 0;
  padding: 0 0 0 2ex;
  list-style-type: none;
  font-family: sans-serif;
  /* broken ie8 need a size when nesting uls */
  width: 300px;
}

.docdate {
  font-size: 80%;
  font-style:italic;
  text-align: right;
  margin-bottom: 0.5em;
}

/* menus */
#header .mainmenu,
.lsubmenu {
  font-family: Helvetica, sans-serif;
  font-weight: bold;
  padding: 0 0 0 1ex;
  margin: 0;
  list-style-type: none;
}
#header .mainmenu li,
.lsubmenu li {
  display: inline;
  font-size: 90%;
  margin: 0;
}

.lsubmenu li:before,
#header .mainmenu li:before { content: " | "; }
.lsubmenu li:first-child:before,
#header .mainmenu li:first-child:before { content: ""; }

#nav-col .mainmenu,
#nav-col .submenu {
  font-family: sans-serif;
  padding: 1ex 0 1ex 1ex;
  margin: 0;
  list-style-type: none;
}
#nav-col .mainmenu {
  margin: 0 0 3ex 0;
}

.code {
  font-family: monospace;
  white-space: pre;
}

.coords {
  margin: 3ex;
  font-family: Helvetica, sans-serif;
  font-weight: bold;
}