body {
  font-family: "Arial",sans-serif,Helvetica;
  font-size: 90%; 
  background-color: #FFFFFF;
}

body.mainLayout {
  margin: 20px;
}

body.miniLayout {
  margin: 0px;
}

p.daisy-error {
  border: 1px solid #c03333;
  background-color: #f1b2b2;
  margin: 4px;
  padding: 2px 4px;
}

img {
  border: 0px; /* otherwise img's inside a's have those fat blue boxes around them */
}

.doclinks h2 {
    font-size: 1em;
    font-weight: bold;
}

p.note {
  border: 1px solid gray;
  margin: 10px 10px 10px 10px;
  padding: 2px 2px 2px 40px;
  background-image: url("../images/note.png");
  background-position: 10px 2px;
  background-repeat: no-repeat;
  min-height: 24px;
}

p.warn {
  border: 1px solid gray;
  margin: 10px 10px 10px 10px;
  padding: 2px 2px 2px 40px;
  background-image: url("../images/important.png");
  background-position: 10px 2px;
  background-repeat: no-repeat;
  min-height: 24px;
}

p.fixme {
  border: 1px solid gray;
  margin: 10px 10px 10px 10px;
  padding: 2px 2px 2px 40px;
  background-image: url("../images/fixme.png");
  background-position: 10px 2px;
  background-repeat: no-repeat;
  min-height: 24px;
}

pre.query {
  border: 1px solid gray;
  margin: 10px 10px 10px 10px;
  padding: 2px 2px 2px 60px;
  background-image: url("../images/query.png");
  background-position: 10px 2px;
  background-repeat: no-repeat;
}

pre.include {
  border: 1px solid gray;
  margin: 10px 10px 10px 10px;
  padding: 2px 2px 2px 60px;
  background-image: url("../images/include.png");
  background-position: 10px 2px;
  background-repeat: no-repeat;
}

pre.query-and-include {
  border: 1px solid gray;
  margin: 10px 10px 10px 10px;
  padding: 2px 2px 2px 100px;
  background-image: url("../images/query-and-include.png");
  background-position: 10px 2px;
  background-repeat: no-repeat;
}

pre {
  border: 1px solid gray;
  background-color: lightgrey;
}

h1.daisy-document-name {
  font-size: 135%;
  color: black;
}

h1 {
  font-size: 120%;
  color: black;
}

h2 {
  font-size: 105%;
  font-weight: bold;
/*  border-bottom: 1px solid #c3a66d;*/
  margin-top: 8px;
  margin-bottom: 4px;
  border-bottom: dotted 1px;
  border-color: #996666;
  margin-left: 20px;
}

h3 {
  font-size: 100%;
  font-weight: bold;
  margin-top: 8px;
  margin-bottom: 4px;
}

h4 {
  font-size: 100%;
  text-decoration: underline;
  margin-top: 8px;
  margin-bottom: 4px;
}

h5 {
  font-size: 100%;
  font-style: italic;
  margin-top: 8px;
  margin-bottom: 4px;
}

table.footnotes {
    margin-top: 1em;
    padding-top: 0.5em;
    margin-bottom: 1em;
    border-top: 1px solid gray;
}

table.footnotes tbody tr td {
    vertical-align: top;
    padding-bottom: .3em;
}

#searchInput {
  vertical-align: top; 
  border: 1px solid black;
  font-size: 80%;
}

#searchButton {
  vertical-align: top; 
  font-size: 80%;
}

#pageMessage {
  background-color: #a4e886;
  border: 1px solid #53803f;
  padding: 8px;
  margin: 8px;
}

/*
  General layout styles
 */
.layoutHeader {
  background-color: #FCFCFC;
  border: black solid 1px;
}

.layoutFooter {
  background-color: #FCFCFC;
  height: 1px;
  width: 100%;
  background: "/resources/skins/auton/images/red_gradient.png";
  border: white solid 0px;
  padding: 0px;
}

.miniLayoutHeader {
  background-color: #c3a66d;
  border-bottom: 2px solid #c9c9c9;
  padding-bottom: 3px;
}

.miniLayoutHeader .documentName {
  color: white;
  font-size: 120%;
  font-weight: bold;
}

.miniLayoutContent {
  margin: 0px 4px 0px 4px;
}

.finePrint {
	background-color: white;
	font-size: 70%;
	text-align: right;
}

p.bibtex {
  border: 1px solid lightgray;
  background-color: #EEEEEE;
  font-family: monospace;
  padding: .5em;
}


.generalNavigation {
/*  background-color: #66BBFF; 
  background-color: #6F9CF6; */
  color: black;
  /* border-bottom: 1px solid white; */
  font-size: 80%;
  padding: 2px 2px 2px 2px; 
  /* padding-left: 205px; */
}

table {
  padding: 0px;
  border-collapse: collapse;
  border-spacing: 0pt;
}

table.layout {
  margin: 0px;
  padding: 0px;
  border: 0px;
  border-collapse: collapse;
}

table.layout td {
  margin: 0px;
  padding: 0px;
  border: 0px;
}

.leftSideBlock {
  vertical-align: top;
  width: 182px;
  height: 450px;
  border-right: black solid 1px;
  padding: 0px;
  background-color: #990000;
}

.rightSideBlock {
  vertical-align: top;
  width: 130px;
}

.mainBlock {
  vertical-align: top;
}

.content {
  padding-left: 8px;
  padding-right: 8px;
  padding-top: 3px;
  background-color: white;
}

.pageNavigation {
/*   border: 1px solid #c3a66d;*/
  border: 1px solid #336633;
  background-color: #669966;
  font-size: 80%;
  margin: 4px;
  padding: 2px;
}

.pageNavigation ul
{
  margin: 0px;
  padding: 0px;
  list-style-type: none;
}

.pageNavigation a
{
  display: block;
  color: #eeeeee;
  background-color: #990000;
  width: 116px; /* 130 -4 -4 -3 -3 */
  padding: 3px 3px 3px 3px;
  text-decoration: none;
}

.pageNavigation ul a
{
  border-bottom: 1px solid #fff;
}

.pageNavigation a:hover
{
  background-color: #AA0000;
  color: #FFFFFF;
  text-decoration: underline;
}


.documentInfo {
  border-top: 1px solid gray;
  color: gray;
  padding: 2px 2px 4px 4px;
  font-size: 67%;
}

/*
  Styles used for rendering the hierarchical navigation
 */

#navcontainer {
  font-size: 80%;
  background-color: #990000;
  color: #EEEEEE;
  padding: 1px;
}

#navcontainer ul
{
  margin: 0;
  padding: 0;
  list-style-type: none;
}

#navcontainer a
{
  color: #EEEEEE;  
  margin: 0;
  display: block;
  /* width: 130px; */
  padding: 0px 13px 2px 10px;
  text-decoration: none;
/*   border-bottom: 1px solid #fff; */
  background-position: 3px .6em;
}

#navcontainer a:hover
{ 
  /* background-color: #c3a66d;*/
/*  background-color: #E3D631; */
  background-color: #66BBFF;
  background-color: #6F9CF6;
  color: black;
  /* text-decoration: underline; */
}

#navcontainer a.navgroup-clickable
{
  /* background-color: #edcf97; */
}

#navcontainer a.navgroup-clickable:hover
{
  color: black;
  /* background-color: #edcf97; */
     background-color: #E3D631; 
}

#navcontainer a.navgroup
{
 /*  background-color: #edcf97;*/
  background-color: #660000;
  cursor: default;
}

#navcontainer a.navgroup:hover
{
  color: white;
/*   background-color: #edcf97; */
/*  background-color: #E3D631; */
}

#navcontainer li li a
{
  display: block;
  color: white;
  /* background-color: #FEDEA1; */
  background-color: #990000;
  width: 133px; 
  padding: 3px 28px 3px 19px;
  text-decoration: none;
  /* border-bottom: 1px solid #fff; */
  background-position: 12px .6em;
}

#navcontainer li li li a
{  /* INVITED SPEAKERS */
  display: block;
  color: white;
  background-color: #AF0000;
  width: 133px;
  padding: 3px 19px 3px 28px;
  text-decoration: none;
/*   border-bottom: 1px solid #fff; */
  background-position: 21px .6em;
}

#navcontainer li li li li a
{
  display: block;
  color: black;
  background-color: #FEDEA1;
  width: 133px;
  padding: 3px 10px 3px 37px;
  text-decoration: none;
  border-bottom: 1px solid #fff;
  background-position: 30px .6em;
}

#navcontainer li li li li li a
{
  display: block;
  color: black;
  background-color: #FEDEA1;
  width: 156px;
  padding: 0px 1px 2px 46px; 
  text-decoration: none;
  border-bottom: 1px solid #fff;
 background-position: 39px .6em;
}


#navcontainer a.active-navnode {
    font-weight: bold;
    color: white;
}

#navcontainer a.active-navnode:hover {
	color: black;
}
#navcontainer a.naverror {
  cursor: default;
  background-color: #ff0000;
  color: white;
}

#navcontainer a.navnode-open {
  background-image: url("../images/navnode_open.gif");
  background-repeat: no-repeat;
}

#navcontainer a.navnode-closed {
  background-image: url("../images/navnode_closed.gif");
  background-repeat: no-repeat;
}

#navcontainer a.navnode-open:hover {
  /*  background-image: url("../images/navnode_open_hover.gif"); */
  background-color: #E3D631;
  color: black;
  background-repeat: no-repeat;
}

#navcontainer a.navnode-closed:hover {
  background-image: url("../images/navnode_closed_hover.gif");
  background-repeat: no-repeat;
}

/*
 * Styles used for the general menu.
 */
#menu {
  font-size: 95%;
  z-index: 5;
  padding : 0px 0px;
  margin: 0px;
/*  width: 625px*/
}
#menu ul {
  z-index: 5;
  text-align: left;
  list-style : none;
  width: 90px;
  padding: 0;
  margin : 22px 10px 0px 202px;
  position : absolute;
  visibility : hidden;
  white-space : nowrap;
}

#menu li {
  display : inline;
}
#menu li.separator {
  border-bottom: 1px solid #a9a9a9;
}
#menu li a {
  padding : 1px 0px 1px 3px;
/*   width: 119px;*/
  text-decoration : none;
  color: black;
/*  background-color: #BB9999; RED */
/*  background-color: #6F9CF6; BLUE */
}
#menu li a:hover {
  background-color: #6F9CF6;
  background-color: #CDDCFC;
}

#menu li a.menuLink:hover {
  text-decoration: none;
  cursor: default;
  background-color: #6f9cf6;
  background-color: #CDDCFC;
}
#menu ul li {
  display: block;
  float: none;
  margin: 0px;
  padding : 0px;
  white-space : normal;
  border-bottom: 1px solid white;
}
#menu ul li a {
  padding : 0px;
  text-decoration: none;
  color: black;
  background-color: #d9d9d9;
  padding: 1px 2px 1px 2px;
  margin: 0px 0px 0px 0px;
/*   width: 119px; */
  display: block;
}
#menu ul li a:hover {
  background-color: #6F9CF6;
}

/* Styles used for the various tables such as version overview table, search result table, ... */
table.default {
  border-spacing: 0pt;
  border-collapse: collapse;
  font-size: small;
  margin-top: 4px;
  margin-bottom: 4px;
}

table.default tr td {
  border: 1px solid gray;
  padding: 2px 4px 2px 4px;
  vertical-align: top;
}
table.default tr th {
  /* border: 1px solid gray; */
  background-color: lightgrey;
  padding: 2px 4px 2px 4px;
}

/* Tables that are part of the document content. */
table.content {
  border-spacing: 0pt;
  border-collapse: collapse;
  font-size: small;
  margin-top: 4px;
  margin-bottom: 4px;
}
table.content tbody tr td {
  border: 1px solid gray;
  padding: 2px 4px 2px 4px;
}
table.content tbody tr th {
  border: 1px solid gray;
  background-color: lightgrey;
  padding: 2px 4px 2px 4px;
}



table.content th.softwareHeader {
  background-color: #AFDCF6;
  text-align: left;
}




/* Special 'borderless' tables part of document content. */
table.borderless {
  border-spacing: 0pt;
  border-collapse: collapse;
  font-size: small;
  margin-top: 4px;
  margin-bottom: 4px;
}
table.borderless tbody tr td {
  padding: 2px 4px 2px 4px;
}
table.borderless tbody tr th {
  background-color: lightgrey;
  padding: 2px 4px 2px 4px;
}

/*
* Styles specific for the document page
*/
div.info-message {
  border: 1px solid gray;
  padding: 8px;
  margin: 8px;
  background-color: #f5fd9d;
}

.commentsTitle {
  font-size: 130%;
  font-weight: bold;
}

div.comments {
  margin-top: 20px;
  margin: 8px;
}

div.comment {
  padding: 8px;
  margin-top: 8px;
  margin-bottom: 8px;
}

div.publicComment {
  border: 1px solid #729c9a;
  /* background-color: #b4fdf9; */
}

div.editorsComment {
  border: 1px solid #ee7600;
  /* background-color: #eebd8d; */
}

div.privateComment {
  border: 1px solid #de005e;
  /* background-color: #d9a3ba; */
}

div.commentheader {
  font-size: small;
  font-weight: bold;
  padding-left: 20px;
  background-position: 0px 0px;
  background-repeat: no-repeat;
}

div.publicComment div.commentheader {
  background-image: url("../images/public_comment.gif");
}

div.privateComment div.commentheader {
  background-image: url("../images/private_comment.gif");
}

div.editorsComment div.commentheader {
  background-image: url("../images/editors_comment.gif");
}

span.commentActions {
  font-size: small;
}

span.commentVisibility {
  font-size: small;
  font-weight: bold;
}

div.commentbody {
  margin-left: 12px;
  margin-right: 12px;
  margin-top: 6px;
}

div.addCommentTitle {
  font-weight: bold;
  margin-top: 12px;
  padding-left: 23px;
  background-image: url("../images/speak.gif");
  background-position: 0px 0px;
  background-repeat: no-repeat;
}

div.addComment {
  margin-left: 23px;
}

/*
 * Styles specific for fulltext search result page
 */
div.fulltext-doc-summary {
  margin-left: 1em;
  margin-right: 2em;
}

div.fulltext-infoline {
  margin-left: 1em;
  margin-right: 2em;
  color: gray;
}

/*
 * Styles specific for document editing page
 */
table.docedit-links tr.targetrow td {
  padding-bottom: 8px;
}

.saveOptions {
  font-size: 80%;
  margin: 3px 0px 3px 0px;
}

a.button {
  text-decoration: none;
  color: black;
  padding: 3px 8px 3px 8px;
  background-color: #FEDEA1;
  border: 1px solid #c3a66d;
  font-size: 80%;
}

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

ul.doceditor-tabs {
  margin: 0 0 0 10px;
  padding: 0;
}

ul.doceditor-tabs li {
  display: inline;
  border: 1px solid black;
  padding: 2px 10px 0 10px;
  margin: 0 5px 0 0;
  position: relative;
  text-align: center;
}

ul.doceditor-tabs li.here {
  border-bottom: 1px solid white;
  z-index: 1;
}

ul.doceditor-parts {
  margin: 5px 0 0 10px;
  padding: 0;
}

ul.doceditor-parts li {
  display: inline;
  border: 1px solid black;
  padding: 3px 5px 2px 5px;
  margin: 0 5px 0 0;
  position: relative;
  font-size: 80%;
  line-height: 1.3em;
  text-align: center;
}

ul.doceditor-parts li.here {
  border-bottom: 1px solid ButtonFace;
  background: ButtonFace;
  z-index: 1;
}

ul.doceditor-tabs li a, ul.doceditor-parts li a {
  text-decoration: none;
}

div.editor-outerframe {
  padding: 10px 10px 10px 0;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
  position: relative;
  z-index: 0;
}

div.doceditor-parteditor {
  padding: 5px 10px 10px 10px;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
  border-left: 1px solid black;
  border-right: 1px solid black;
  position: relative;
  z-index: 0;
  background: ButtonFace;
}

/*
 * Styles specific for the doctype selection page.
 */
.doctypeLabel {
}

.doctypeDescription {
    font-style: italic;
    padding-bottom: 10px;
    padding-left: 20px;
}

/*
 * Styles specific for the diff page.
 */
div.diff-added {
  font-family: "Andale Mono" monospace;
  font-size: 80%;
  background-color: #ccffcc; /* light green */
  border-left: 4px solid darkgreen; /* light green */
}
div.diff-removed {
  font-family: "Andale Mono" monospace;
  font-size: 80%;
  background-color: #fdc6c6; /* light red */
  border-left: 4px solid darkred; /* dark red */
}
div.diff-unchanged {
  font-family: "Andale Mono" monospace;
  font-size: 80%;
  border-left: 4px solid lightgrey;
}
span.diff-added {
  background-color: #58ff87;
}
span.diff-removed {
  background-color: #ff8686;
  text-decoration: line-through;
}

span.diffpage-nochanges {
  font-style: italic;
}

div.diffpage-contentdiff-title {
  border: 1px solid gray;
  text-align: center;
  border-bottom: 0px;
}
div.diffpage-contentdiff {
  border: 1px solid gray;
}

span.diffpage-removedfield {
  text-decoration: line-through;
}


/*
 * Styles specific for the versions overview page.
 */
tr.live {
  background-color: lightgreen;
}

/*
 * Styles specific for the site index page.
 */
table.siteindex td {
  padding: 6px;
}

a.sitelink {
  padding-left: 10px;
  background-image: url("../images/bullet.png");
  background-repeat: no-repeat;
  background-position: 0 .5em;
}

/*
 * Styles specific for the faceted navigation
 */
div.facetbrowser-resultcount {
  font-weight: bold;
  font-size: 110%;
}

div.facetbrowser-docsummary {
  margin-top: 3px;
  font-style: italic;
}

div.facetbrowser-facet {
  margin-top: 1em;
  margin-bottom: 1em;
}

div.facetbrowser-facettitle {
  font-weight: bold;
  border-bottom: 1px solid black;
}

div.facetbrowser-morevalues {
  font-style: italic;
}

div.facetbrowser-filters {
  border: 1px solid gray;
  padding: 3px;
  margin-bottom: 1em;
  margin-top: 1em;
  font-size: 90%;
}

div.facetbrowser-docdetails {
  font-size: 90%;
  padding-left: 1em;
}

a.facetbrowser-doclink {
  font-weight: bold;
}

div.facetbrowser-resultdoc {
  border-bottom: 1px dotted gray;
  padding: 0.5em;
}


/*
 * Styles specific for the book management pages
 */
table.books {
  border-spacing: 0pt;
  border-collapse: collapse;
  font-size: small;
  margin-top: 4px;
  margin-bottom: 4px;
}
table.books tbody tr td {
  padding: 2px 4px .3em 4px;
}

tr.bookgroup {
    border-bottom: 1px solid gray;
}

tr.bookAltRow {
    background-color: rgb(238, 238, 238);
}


/*
* The following rules are taken from Mozilla's quirck mode stylesheet.
* See http://lxr.mozilla.org/seamonkey/source/layout/html/document/src/quirk.css
* They avoid the top and bottom margin of elements in table cells.
*/
td > form:-moz-first-node, th > form:-moz-first-node,
td > p:-moz-first-node, th > p:-moz-first-node,
td > dl:-moz-first-node, th > dl:-moz-first-node,
td > multicol:-moz-first-node, th > multicol:-moz-first-node,
td > blockquote:-moz-first-node, th > blockquote:-moz-first-node,
td > h1:-moz-first-node, th > h1:-moz-first-node,
td > h2:-moz-first-node, th > h2:-moz-first-node,
td > h3:-moz-first-node, th > h3:-moz-first-node,
td > h4:-moz-first-node, th > h4:-moz-first-node,
td > h5:-moz-first-node, th > h5:-moz-first-node,
td > h6:-moz-first-node, th > h6:-moz-first-node,
td > listing:-moz-first-node, th > listing:-moz-first-node,
td > plaintext:-moz-first-node, th > plaintext:-moz-first-node,
td > xmp:-moz-first-node, th > xmp:-moz-first-node,
td > pre:-moz-first-node, th > pre:-moz-first-node,
td > ul:-moz-first-node, th > ul:-moz-first-node,
td > menu:-moz-first-node, th > menu:-moz-first-node,
td > dir:-moz-first-node, th > dir:-moz-first-node,
td > ol:-moz-first-node, th > ol:-moz-first-node {
   margin-top: 0;
}

td > p:-moz-last-node, th > p:-moz-last-node {
   margin-bottom: 0;
}

td > form:empty:-moz-first-node, th > form:empty:-moz-first-node,
td > p:empty:-moz-first-node, th > p:empty:-moz-first-node,
td > dl:empty:-moz-first-node, th > dl:empty:-moz-first-node,
td > multicol:empty:-moz-first-node, th > multicol:empty:-moz-first-node,
td > blockquote:empty:-moz-first-node, th > blockquote:empty:-moz-first-node,
td > h1:empty:-moz-first-node, th > h1:empty:-moz-first-node,
td > h2:empty:-moz-first-node, th > h2:empty:-moz-first-node,
td > h3:empty:-moz-first-node, th > h3:empty:-moz-first-node,
td > h4:empty:-moz-first-node, th > h4:empty:-moz-first-node,
td > h5:empty:-moz-first-node, th > h5:empty:-moz-first-node,
td > h6:empty:-moz-first-node, th > h6:empty:-moz-first-node,
th > listing:empty:-moz-first-node,
th > plaintext:empty:-moz-first-node,
td > xmp:empty:-moz-first-node, th > xmp:empty:-moz-first-node,
td > pre:empty:-moz-first-node, th > pre:empty:-moz-first-node,
td > ul:empty:-moz-first-node, th > ul:empty:-moz-first-node,
td > menu:empty:-moz-first-node, th > menu:empty:-moz-first-node,
td > dir:empty:-moz-first-node, th > dir:empty:-moz-first-node,
td > ol:empty:-moz-first-node, th > ol:empty:-moz-first-node {
   margin-bottom: 0;
}

td > form:empty:-moz-last-node, th > form:empty:-moz-last-node,
td > p:empty:-moz-last-node, th > p:empty:-moz-last-node,
td > dl:empty:-moz-last-node, th > dl:empty:-moz-last-node,
td > multicol:empty:-moz-last-node, th > multicol:empty:-moz-last-node,
td > blockquote:empty:-moz-last-node, th > blockquote:empty:-moz-last-node,
td > h1:empty:-moz-last-node, th > h1:empty:-moz-last-node,
td > h2:empty:-moz-last-node, th > h2:empty:-moz-last-node,
td > h3:empty:-moz-last-node, th > h3:empty:-moz-last-node,
td > h4:empty:-moz-last-node, th > h4:empty:-moz-last-node,
td > h5:empty:-moz-last-node, th > h5:empty:-moz-last-node,
td > h6:empty:-moz-last-node, th > h6:empty:-moz-last-node,
td > listing:empty:-moz-last-node, th > listing:empty:-moz-last-node,
td > plaintext:empty:-moz-last-node, th > plaintext:empty:-moz-last-node,
td > xmp:empty:-moz-last-node, th > xmp:empty:-moz-last-node,
td > pre:empty:-moz-last-node, th > pre:empty:-moz-last-node,
td > ul:empty:-moz-last-node, th > ul:empty:-moz-last-node,
td > menu:empty:-moz-last-node, th > menu:empty:-moz-last-node,
td > dir:empty:-moz-last-node, th > dir:empty:-moz-last-node,
td > ol:empty:-moz-last-node, th > ol:empty:-moz-last-node {
  margin-top: 0;
}


/* Location Bar stuff */
.locationcell, .searchcell {
  vertical-align: top;
  padding: 2px;
  margin: 0px;
  background-color: #EEEEEE;
  /* background-color: #999999; */
  height: 10px;
  /* border-top: #CCCCCC dotted 1px; */
  border-top: #000000 solid 1px;
  border-bottom: #CCCCCC dotted 1px;
}

.siteNavigation {
  font-size: 80%;
}

.siteNavigation a {
  color: black;
  text-decoration: none;
}

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

.imgcell {
  padding: 0px;
  border-bottom: black solid 1px;
  border-right: black solid 1px;
}

.logocell, .dragoncell {
  vertical-align: top; 
  background-color: #FFFFFF;
  /* background-color: white; */
}

.logocell {
  /* padding-top: 5px; */
  /* padding-bottom: 5px; */
	vertical-align: top; 
 padding-left: 20px;
  background-color: #990000;
}