/* uberstyle.css -- I've combined some css sheets I've found and then */
/* modified. In addition is my own CSS "coding" for hiding and */
/* revealing elements. The files were: tabs.css and zopestyle.css. */

h1, h2, h3, h4, h5, h6 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-weight: bold;
  color: #00438C;
  margin: 18px 0px 2px 0px;
}

p {
  margin: 0px;
}

p + p {
  margin-top: 1em;
}

div#itemize li { 
  margin-top: 0.25em;
}

div#papers li { 
  margin-top: 1em;
}

.paperTitle {
  font-weight: bold;
}

.softLink { 
  color: #000;
}

body, .normal {
  /*  background: #FFFFE8;*/
  background: #FFFFFF;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 10pt;
  max-width: 12in;
  margin-left: auto;
  margin-right: auto;
  padding-left: 1em;
  padding-right: 1em;
}

.indent {
  margin-left: 0.75cm;
}

.initiallyHidden {
  display: none;
}

.noUnderline {
  text-decoration: none;
}

.sidenoteBorder {
  margin-left: 2.0cm;
  margin-right: 0.75cm;
  background-color: #FFFFFF;
  /*background-color: #CEDFFF;*/
  border-style: ridge;
  padding: 8px;
}

/* the content of each tab itself is wrapped with main  */
#main {
  border: 1px solid #000;
  clear: both;
  min-width: 896px;
  margin-left: 5px;
  margin-right: 1em;
}

/* properties of the content of each tab */
#content {
  padding-left: 3%;
  padding-right: 2%;
  padding-top: 12px;
  padding-bottom: 12px;
  background: #FFFFE8;
  border-top: 2em solid #BBCCFF;  /*the main tab color and secondary color*/
  border-bottom: 8px;
}

/* similar to content, but without the tabs or a main */
#mainContent { 
  border: 1px solid #000;
  clear: both;
  min-width: 896px;
  margin-left: 5px;
  margin-right: 1em;
  padding-left: 3%;
  padding-right: 2%;
  padding-bottom: 12px;
  background: #FFFFE8;
}

#contentbottom {
  clear: both;
}

#header {
  position: relative;
  top: 0px;
  left: 0;
  width: 100%;
  height: 3em;
  width: 45em; 
}

#header ul#primary {
  margin: 0;
  padding: 0;
  position: absolute;
  bottom: -1px;
  left: 12px;
  width: 45em; 
}

#header ul#primary li  {
  display: inline;
  list-style: none;
}

#header ul#primary a,#header ul#primary span,#header ul#primary a.current {
  width: 10em;
  display: block;
  float: left;
  padding: 4px 0;
  margin-top: 1px;
  margin-right: 4px;
  text-align: center;
  text-decoration: none;
  font-weight: bold;
  color: #000;
}

#header ul#primary span,#header ul#primary a.current,#header ul#primary a.current:hover {
  border: 1px solid #000;
  border-bottom: none;
  background: #BBCCFF; /*the main tab color and secondary color*/
  padding-bottom: 6px;
  margin-top: 0;
}

/* Non front-most tabs, when the mouse is not over it  */
#header ul#primary a {
  background: #CEDFFF;
  border: 1px solid #888;
  border-bottom: none;
}

/* When the mouse is over any tab except the front-most */
#header ul#primary a:hover {
/*  margin-top: 0;*/
  border-color: #444;
  background: #C7D8F8;
/*  padding-bottom: 5px;*/
}

#header ul#secondary {
  position: absolute;
  margin: 0;
  padding: 0;
  bottom: -1.4em;
  left: 1px;
  width: 55em; /* a width is required for Opera, older Mozilla browsers, 
and Konqueror browsers */
}

#header ul#secondary li a,#header ul#secondary li span {
  width: auto;
  display: block;
  float: left;
  padding: 0 10px;
  margin: 0;
  text-align: center;
  border: none;
  border-left: 1px dotted #AAA;
  background: none;
}

#header ul#secondary li a {
  color: #06C;
  text-decoration: underline;
}

#header ul#secondary li a:hover {
  color: #333;
  background: transparent;
  padding: 0 10px;
  border: none;
  border-left: 1px dotted #AAA;
}

#header ul#secondary li a:active {
  color: #000;
  background: transparent;
}

#header ul#secondary li:first-child a,#header ul#secondary li:first-child span {
  border: none;
}

.pagebreak {
  page-break-before: always;
}

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

.underline {
  text-decoration: underline;
}

/* Adds scroll bars when code snippet is too large */
pre {
  padding: 3px;
  background: #FFFFFF;
  width: 95%;
  max-height: 5in;
  overflow: auto;
  border: silver 1px dotted;
}