#text{padding-right:25px;}

#manual * h1.title,h2.title,h3.title,h4.title {
border-top:1px solid #d1d9dc;
padding-top:15px;
margin:3.5em 0 0.2em;
}
#manual * h5.title,h6.title {
border-top:1px solid #d1d9dc;
padding-top:15px;
margin:3.5em 0 0.2em;
}
#manual * h6 {
margin-top:2.5em;
margin-bottom:15px;
}
#manual * h7 {
font-size:1.5em;
line-height:1.6em;
margin-top:2.5em;
margin-bottom:15px;
display:block;
}

#manual div.book h1,
#manual div.part h1,
#manual div.appendix h2,
#manual div.bibliography h2,
#manual div.index h2,
#manual div.preface > div > div > div > h2,
#manual div.chapter > div > div > div > h2,
#manual > div.sect1 > div > div > div > h2,
#manual > div.sect2 > div.titlepage > div> div > h3 {
margin-top:0;
padding-top:0;
border:none;
}

#manual div.chapter > div.sect1 > div.sect2 > div > div > div > h3 {margin-top:5.0em;}

#manual * div.toc p              {margin-top:3.5em;}
#manual * div.toc p b            {font-size:1.167em;}
#manual * div.list-of-tables p   {margin-top:4.5em;}
#manual * div.list-of-tables p b {font-size:1.167em;}

#manual * div.blockquote-title {
padding:0;
margin:4em 0 0 0;
display:block;
color:#959ea1;
}
#manual * div.blockquote-title p {padding:0 0 0.3em;;margin:0;}
#manual div.toc * b, div.list-of-tables * b {
}
#manual div.blockquote-title * {
font-size:19px;
color:#000;
font-family:Georgia,serif;
font-weight:normal;
}
#manual div.titlepage > hr {
display:none;
}
#manual * div.example, div.figure {
margin:30px 0 0 0; 
}
#manual * div.example p.title > b, div.figure p.title > b, div.table p.title > b {
font-size:1em;
}
#manual .figure > .title {
margin:0 0 0 80px;
}
#manual * div.example > .title {
margin:0 0 5px 40px;
padding:0;
}
#manual table {
width:100%;
}
#manual .table > .title {
margin:30px 0 5px 30px;
}
#manual th {
border-top:1px solid silver;
border-bottom:1px solid darkgray;
}
#manual td {
border-bottom:1px solid silver;
}
#manual * table.blockquote td {
padding-top:10px;
border-bottom:none;
}