/**********************************************************************/
/*                                                                    */
/**********************************************************************/
pre.programlisting {
	padding: 10px; 
	background-color: #EFEFEF;
    border: 1px solid #CECECE;
    border-radius: 5px 5px 5px 5px;
    width: 80%;
	font-size: 90%;
}

body {
    font-family: Helvetica, Arial, sans-serif;
    font-size: 16px;
    color: #444;
    margin: 0;
    padding: 0;
    line-height: 1.5;
}

h1, h2 {
  font-family: Georgia, "Times New Roman", Times, serif;
}

pre {
    font-size: 12pt;
}

tt {
    font-size: 14pt;
}

tt.Filename, tt.Literal{
    font-weight: bold;
}

a {
    color: #347400;
    text-decoration: none;
}


a:link,
a:visited {
    color: #347400;
}

a:active,
a:hover {
    color: #347400;
    text-decoration: underline;
}

img {
  border: none;
}

div.figure {
    padding: 4px;
    clear: both;
    margin: 0px 0px 20px 0px;
    /* text-align: center; */
}

div.figure p {
    margin-top: 2px;
    margin-bottom: 0px;
    font-size: 85%;
    /* text-align: center; */
}

div.itemizedlist, 
div.orderedlist {
    padding-bottom: 7px;
}

.author
{
    font-size: 14pt;
    font-style: italic;
    font-weight: normal;
    color: black;
}

div.navheader, 
div.navfooter {
  background-color: #74b042;
  color: white;
  clear: both;
  border-style: solid none;
  border-width: 1px;
  border-color: #CECECE;
  padding: 10px;
}

div.navfooter {
  background-color: white;
  margin:15px;
  margin-top: 50px;
  border-bottom: none;
}
  
div.navheader table th {
    font-size: 18px;
    color: white;
    line-height: 1.5;
}

/* normal text in the footer */
div.navfooter table td {
    font-size: 16px;
    color: #347400;
    line-height: 1.5;
}
    
div.navheader table td a,
div.navfooter table td a {
    color: white;
    text-decoration: underline;
}

div.navfooter table td a {
    color: #347400;
}

/* links in header and footer */
div.navheader table td a:hover,
div.navfooter table td a:hover {
    text-decoration: underline;
    background-color: transparent;
}

div.navheader table td a:visited,
div.navfooter table td a:visited {
}

div.navheader hr, div.navfooter hr{
    display: none;
}

#search {
  float: right;
  padding: 4px;
  }
  #search #search-box {
    margin-right: 1px;
    padding: 2px 2px 0 2px;
    vertical-align: top;
    color: #444;
    }
  #search #search-submit {
    padding-top: 1px;
    vertical-align: middle;
    }

div.book,
div.chapter,
div.sect1, 
div.sect2,
div.sect3,
div.preface,
div.appendix, 
div.section, 
div.glossary {
    margin: 20px;
}

/* table of contents */
div.toc {
    border: 1px solid #CECECE;
    padding: 0px 10px;
    background-color: #EFEFEF;
    border-radius: 5px;
    -moz-border-radius: 5px;
    margin-bottom: 2em;
    width: 80%;
}

div.toc b { 
  font-family: Georgia, "Times New Roman", Times, serif;
  /* font-size: 1.4em; */
  }

div.toc a {
    margin-left: 5px;
    margin-bottom: 5px;
}

/* toc definitions for different sections and chapters */
div.book div.toc {
    background-color: transparent;
    border: 0;
    padding: 0;
    /* font-size: 1.2em; */
}

div.table title {
  width: 100%;
  border: 0px;
  background-color: #FFFFFF;
  }

div.table table {
  background-color: silver;
  font-size: 90%;
  border-width: 0px;
  }

div.table th {
    text-align: center;
    color: ivory;
    background-color: #74b042;
    padding: 1px 4px 1px 4px;
    border: none;
    vertical-align: top;
    padding: 10px;
}
div.table tr {
    background-color: #FFFFFF;
}
div.table td {
    vertical-align: top;
    border: none;
    padding: 10px;
}

.caution, .important, .note, .tip, .warning {
    border-top: 5px solid;
    border-left: 1px solid;
    margin: 1em 0 0 1em;
    padding: 5px 0 10px 0;
    width: 90%;
    clear: both;
}

p.copyright {
    text-align: center;
    font-size: 0.8em;
}

.action, .guibutton, .guimenu, .guimenuitem, .guilabel {
  font-weight: bold;
}

.guibutton, .guimenu, .guimenuitem, .guilabel {
  padding: 0px 0.5em 0px 0.5em;
}

.guimenu, .guimenuitem, .guilabel {
    background-color: #EEE;
}

.guibutton {
    font-size: 12pt;
    border-width: 1px 2px 2px 1px;
    border-style: solid;
    background: #eee;
    border-color: #ddd #bbb #bbb #ddd;
}

.sidebar {
    background-color: #DCDCDC;
    padding: 0.5em 0.5em 0.5em 0.5em;
}

.tip {
    border-color: #090;
}

.note {
    border-color: #C0C0C0;
}

.important {
    border-color: #069;
}

.caution {
    border-color: #c60;
}

.warning {
    border-color: #900;
}

.term {
    border-bottom: 1px dotted black;
}

.question {
    font-weight: bold;
}

/* Don't display indexterms */
.indexterm {
  margin: 0;
  padding: 0;
  display: inline;
  background-image: none;
}

.caution, .important, .note, .tip, .warning {
    background-repeat: no-repeat;
    background-position: 5px 1.33em;
    padding: 0 0 0 42px;
    min-height: 52px;
    width: 80%;
}

.note {
    background-image: url(images/note.png);
}

.tip {
    background-image: url(images/tip.png);
}

.important {
    background-image: url(images/important.png);
}

.caution {
    background-image: url(images/caution.png);
}

.warning {
    background-image: url(images/warning.png);
}

.code, .screen {
	font-size: 90%;
	background-color: #EFEFEF;
}

.screen {
    padding: 5px 5px 5px 10px;
    width: 80%;
}

td > .screen {
    padding: 5px 5px 5px 5px;
    width: 95%;
}

code a.uri {
  font-family: Helvetica, Arial, sans-serif;
  font-size: 100%;
}

table {
  border-spacing: 1px;
}

.savapage_chunked_footer {
    font-size: small;    
}

.savapage_chunked_footer p {
    margin-top: 0px;
    margin-bottom: 3px;
    max-width: 700px;
    margin-left: auto;
    margin-right: auto;    
}

span.strikethrough {
    text-decoration: line-through;
}