@font-face {
  font-family: PPInconsolata;
  font-weight: normal;
  font-style:  normal;
  src:         url(../fonts/Inconsolata-dz.otf);
}

body {
/*  font-family:  "Trebuchet MS", Verdana, Arial, sans-serif; */
  margin: 0pt 1em;
  padding: 0pt;
}


tt, code, kbd, samp {
  font-family:  PPInconsolata, Monaco, Courier New, Courier, -webkit-monospace;
  font-size: 80%;
}

h1.chapter-title {
  margin-top:   2em;
  text-align: right;
}

h1.chapter-title .chapter-number {
  color:     #999999;
  font-weight: bold; 
  display: block;
  font-size: 90%;
}

h1.chapter-title .chapter-name {
  display: block;
  color:     #555555;
  background: url(../images/h1-underline.gif) repeat-x bottom;
  font-size: 120%;
  font-weight: bold; 
  margin-bottom: 1ex;
}

h2 {
 font-size: 140%;
 font-weight:  bold;
 text-align: left !important;
 color:     #445;
 margin-top:  1em;
 margin-bottom: 1ex !important;
}

h3 {
 font-size: 110%;
 font-weight:  bold;
 color:     #225555;
 clear:  both;
 margin-top:  1em;
 margin-bottom: 1ex;
}

h4 {
 font-size: 100%;
 font-weight:  bold;
 color:     #225555;
 clear:  both;
 margin-top:  0.8em;
 margin-bottom: 0.8ex;
}

p {
  line-height: 130%;
  margin-top: 0pt;
}

.contribution { 
  font-size: smaller;
  color:     #888;
  padding-left: 10%;
  padding-right: 10%;                
}

.acronym {
  font-weight:  bold;
  font-variant: small-caps;
  color:        #333333;
}
	     

.author {
  margin-top:  1em;
  text-align:  right
}

.authorname {

}

.authoraffiliation {
  font-style:  italic;
}

.authors {
  margin-top:   3em;
  font-size:   18;
  color:       #666666;
}

/* authorq is the author asking the beta-book reader */
div.authorq { 
  margin: 1em 0;
  padding: 1em;
  background: #dddddd;
  font-size: smaller;              
}

div.authorq .the-author-asks { 
  font-weight: bold;
  display: inline;
}

.b { 
  font-weight: bold;
}

.bad-xref { 
  color: red;
}

.bibliography {
  margin-top:   2em;
  border-width: 2px 0 0 0;
  border-style: solid none none none;
  border-color: #888888;	      
}

.unused-bookinfo {
  margin-top:       2em;
  margin-bottom:    4em;
  padding:          3em;
  border-width: 8px;
  border-style: dotted;
  border-color: #dddddd;	      
}

.titlepage 
{ 
  margin-left: 10%;
  margin-right: 10%;
  text-align: center;
}

.tp-title {
  display: block;
  margin-top: 50px;
  padding-top: 10px;
  padding-bottom: 10px;
  color:        #777777;
  border-width: 3px;
  border-style: solid none;
  border-color: #888888;	      
}

.tp-subtitle {
  display: block;
  margin-top: 10px;
  color:        #777777;
}

.tp-authors 
{ 
  display: block;
  color: #777;
  margin-top: 20px;
}

.tp-copyright 
{ 
  margin-top: 5px;
  font-size: x-small;
  border-top: 1px solid #bbb;
  color: #444;

}

.tp-docinfo
{ 
  margin-top: 30px;
  font-size: small;
  color: #777;
}

.booksectname {
  font-style: italic;
}

/* these are inline code. We make them all include the cf class */

.cf {
  color: #227;
  font-weight: bold;
}

.classname,
.commandname,
.commandoption,
.constant,
.dirname,
.fileextension,
.filename,
.inlinecode,
.keystroke,
.keyword,
.methodname,
.parametername,
.sqlcolumn,
.sqltable,
.string,
.variablename,
.xmlattrval {
}

.stringinfile {
  font-style:  italic;
}
	     
/*
 ** end of cf stuff 
 */

	     
.emph {
  font-style: italic;
}

.epigraph {
  width:         60%;
  position:     relative;
  left:         30%;
  padding-top:   0px;
  padding-top:   0px;
  padding-left:  8px;
  padding-right: 8px;
  border-style:  solid;
  text-align:    left;
  border-width:  6px;
  border-color:  #dddddd;
  font-size:    small;
  font-style:    italic;
  margin-bottom: 0.7em;
}

.episign {
  padding:       2px;
  border-style:  solid;
  text-align:    right;
  border-width:  2px 0px 0px 0px;
  border-color:  #dddddd;
  font-size:    small;
}

.episignname {
}
.episigntitle {
  font-style:    italic;
}
.episigndate {
}


.figure {
  padding:       7px;
  border-style:  dotted;
  text-align:    center;
  border-width:  3px;
  border-color:  #dddddd;
  margin-top:    1em;
  margin-bottom: 1em;
}


.firstuseinline {
  font-style:italic;
}

.firstusemargin {
  position: absolute;
  top:auto;
  left:       1em;
  font-style:italic;
  font-size: x-small;
  float:     left;
  width:     1in;
  text-align: right;
}

.flag { 
  color:    red;
}

.flagadvanced {
  float: left;
  margin-right: 1em;                
}

.footnotes {
  margin-top:   2em;
  border-width: 2px 0 0 0;
  border-style: solid none none none;
  border-color: #888888;	      
  font-size: smaller;
}

.footnotes td.footnote-number {
  white-space: nowrap;
  width: 1.5em;
}

div.highlight { 
  border-top: 3px solid #acc;             
  border-bottom: 3px solid #acc;             
  width: 20%;
  float: left;               
  margin-right: 2em;
}

div.highlight p { 
  margin-bottom: 0.2em;
}

.initials {
  font-weight:  bold;
  font-variant: small-caps;
  color:        #333333;
}
	     

.marginnote {
  position: absolute;
  top:auto;
  left:       1em;
  font-weight: bold;
  font-size: x-small;
  float:     left;
  width:     1in;
  text-align: right;
  line-height: 100%;
}

     
.missing {
  position: absolute;
  top:auto;
  left:       1em;
  font-weight: bold;
  font-size: x-small;
  float:     left;
  width:     1in;
  text-align: right;
  line-height: 100%;
}

.prefacesignoff a {
  font-style: italic;
}

.prefacesignoffdate {
  font-size: small;
}

table.processedcode { 
  margin: 0.7em 0px;
}

.processedcode tr {
  margin-top: 0px;
  margin-bottom: 0px;
}

.processedcode tr td {
  padding-top: 0px;
  padding-bottom: 0px;
}


.codeprefix { 
  font-weight: bold;
  font-size: 70%;
}

.codeline {
  line-height: 1.2;
  font-size: 80%;
}

.codeline code {
  font-family:  PPInconsolata, Monaco, Courier New, Courier, -webkit-monospace;
}

.codeline pre {
  margin-top: 0px;
  margin-bottom: 0px;
  font-weight: bold;
}


.codecalloutnumber { 
  font-size:  80%;
}

tr.livecodelozenge { 
}                  

tr.livecodelozenge td a { 
  color: #eee8f0;
}                  

tr.livecodelozenge td { 
  font-size: 70%;
  padding-left: 1em;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  background: #98a0a8;   
}

span.callout-number { 
  font-size: 80%;
  color: green;                      
}

/*
dl {
}

dl dt.force-newline {
  clear: left;
  width: 100%;                      
  display: block;
}

dl dt {
  float: left;
  clear: left;
  width: 3em;
  display: block;
}

dl dd {
  margin-left: 3.5em;
  padding-left: 5px;
  margin-bottom: 5px;
}
*/

.simpletable {
  margin-top:    1em;
  margin-bottom:  2em;
  border-width: 3px 0 2px 0;
  border-style: solid none solid none;
  border-color: #888888;	      
}

.simpletable td, .simpletable th {
  text-align: left;
}

.simpletable .table-rule-style-top {
  height: 5px;
  border-top: 3px solid #599;
  border-right: 2px solid #599;
  border-left: 2px solid #599;
}

.simpletable .table-rule-style-middle {
  height: 2px;
  background: #599;
  border-top: 2px solid white;
  border-bottom: 2px solid white;
  border-right: 2px solid #599;
  border-left: 2px solid #599;
}

.simpletable .table-rule-style-bottom {
  height: 5px;
  border-bottom: 3px solid #599;
  border-right: 2px solid #599;
  border-left: 2px solid #599;
}


.simpletable .row-header-bold {
    font-weight: bold;
    font-family:  "Trebuchet MS", Verdana, Arial, sans-serif; 
}

.simpletable .row-header-invert {
    font-weight: bold;
    font-family:  "Trebuchet MS", Verdana, Arial, sans-serif; 
    background: #377;
    color: white;
}

.standin {
   font-style:  italic;
   font-weight: bold;
   color:       #444444;
}


.tabletitle {
  font-weight: bold;	
  padding:      2px;
  border-width: 0px 0 2px 0;
  border-style: none none solid none;
  border-color: #888888;	      
}

.xmltag {
  font-weight: bold;	
   color:       #444444;
}

.comment {
  color:   #115511;
  font-style: italic;  
}

.kw {
  color:  #111199;
  font-weight: bold;
}

.string {
  color:   #555511;
  font-style: italic;  
}


.sidebar { 
  margin-top: 2em;
  margin-bottom: 2em;
  padding: 1em;
  font-size: 90%;
  font-family: sans;
  border: 3px solid #aaa;           
}

.sidebar .sidebar-title { 
  text-align: center;
  font-weight: bold;
  border-bottom: 1px solid #aaa
}

.underline { 
  text-decoration: underline;
}

div.webresources .title { 
  font-weight: bold;
  margin-bottom: 0pt;                        
}

div.webresources .url { 
  font-weight: bold;
  margin-top: 0pt;                        
  margin-bottom: 0pt;                        
}

div.webresources .desc { 
  margin-top: 0px;
  margin-left: 2em;
}

div.webresources .desc p { 
  margin-top: 0px;
}

.xref-title { 
  font-style: italic;              
}

div.xxxsays { 
  font-size: small;
  margin: 1em 0;
  padding: 1em;
  border:  2px #aaaaaa solid;
}

div.xxxsays .heading { 
  padding-bottom: 0.5em;
  margin-bottom: 1em;
  border-bottom:  2px #aaaaaa solid;
}

div.xxxsays .heading  .persons-picture { 
  float: left;
  margin-right: 2em
}

div.xxxsays .heading  .label { 
  font-weight: bold;
  color:       #999999;
  margin-bottom: 0.2em;                               
}

div.xxxsays .heading  .title { 
  font-weight: bold;
  font-size: larger;
  color:       #555555;                               
}


.copyright { 

   font-size: x-small;
   color:       #335555;
   background:  #aabbbb; 
   margin-top:  3em;
   padding-top:  3px;
   padding-bottom:  3px;
   text-align:   center;
   border-top:   1px #335555 solid;
}