
/* BODY ======================================================================================== */

body
{
    font-family: Times New Roman;
}

/* HEADERS ======================================================================================== */

/* Book Header */
div.book div.titlepage h1.title
{
    font-family: Arial;
    font-size: 250%;
    font-style: Normal;
    font-weight: Bold;
    color: midnightblue;
}

/* Article Header */
div.article div.titlepage h1.title, div.article div.titlepage h2.title
{
    font-family: Arial;
    font-size: 250%;
    font-style: Normal;
    font-weight: Bold;
    color: midnightblue;
}

/* Part Header */
div.part div.titlepage h1.title
{
    font-family: Arial;
    font-size: 205%;
    font-style: Normal;
    font-weight: Bold;
    color: midnightblue;    
}

/* Chapter and Appendix Header */
div.chapter div.titlepage h1.title, div.chapter div.titlepage h2.title,
div.appendix div.titlepage h1.title, div.appendix div.titlepage h2.title
{
    font-family: Arial;
    font-size: 205%;
    font-style: Normal;
    font-weight: Bold;
    color: midnightblue;
}

/* Glossary, Index and Preface Header */
div.glossary div.titlepage h2.title, div.glossary div.titlepage h3.title,
div.index div.titlepage h2.title, div.index div.titlepage h3.title,
div.preface div.titlepage h2.title, div.preface div.titlepage h3.title
{
    font-family: Arial;
    font-size: 205%;
    font-style: Normal;
    font-weight: Bold;
    color: midnightblue;    
}

/* Lists of Figures and Tables Headers */
div.list-of-figures p, div.list-of-tables p
{
    font-family: Arial;
    font-size: 170%;
    font-style: Normal;
    font-weight: Bold;
    color: midnightblue;    
}

/* Section, Bridgeheads, Glossdivs, TOC Headers */

/* Level 1 Header  */
div.section div.level1 h2.title, div.bridgehead div.level1 h2, div.glossdiv div.level1 h3.title, div.toc div.level1 p
{
    font-family: Arial;
    font-size: 170%;
    font-style: Normal;
    font-weight: Bold;
    color: midnightblue;
    margin-top: 70px;
    margin-bottom: 0px;
}

/* Level 2 Header */
div.section div.level2 h3.title, div.bridgehead div.level2 h3, div.glossdiv div.level2 h3.title, div.toc div.level2 p
{
    font-family: Arial;
    font-size: 150%;
    font-style: Normal;
    font-weight: Bold;
    color: midnightblue;
    margin-top: 60px;
    margin-bottom: 0px;
}

/* Level 3 Header */
div.section div.level3 h4.title, div.bridgehead div.level3 h4, div.glossdiv div.level3 h3.title, div.toc div.level3 p
{
    font-family: Arial;
/*  font-size: 134%; */
    font-size: 137%;
    font-style: Italic;
    font-weight: Bold;
    color: midnightblue;
    margin-top: 50px;
    margin-bottom: 0px;
}

/* Level 4 Header */
div.section div.level4 h5.title, div.bridgehead div.level4 h5, div.glossdiv div.level4 h3.title, div.toc div.level4 p
{
    font-family: Arial;
    font-size: 122%;
    font-style: Normal;
    font-weight: Bold;
    color: midnightblue;
    margin-top: 40px;
    margin-bottom: 0px;
}

/* Level 5 Header */
div.section div.level5 h6.title, div.bridgehead div.level5 h6, div.glossdiv div.level5 h3.title, div.toc div.level5 p
{
    font-family: Arial;
/*  font-size: 112%; */
    font-size: 115%;
    font-style: Italic;
    font-weight: Bold;
    color: midnightblue;
    margin-top: 30px;
    margin-bottom: 0px;
}

/* Level 6 Header */
div.section div.level6 h6.title, div.bridgehead div.level6 h7, div.glossdiv div.level6 h3.title, div.toc div.level6 p
{
    font-family: Arial;
    font-size: 105%;
    font-style: Normal;
    font-weight: Bold;
    color: midnightblue;
    margin-top: 20px;
    margin-bottom: 0px;
}

/* Level 7 Header */
div.section div.level7 h6.title, div.bridgehead div.level7 h8, div.glossdiv div.level7 h3.title, div.toc div.level7 p
{
    font-family: Arial;
    font-size: 100%;
    font-style: Normal;
    font-weight: Bold;
    color: midnightblue;
    margin-top: 15px;
    margin-bottom: 0px;
}

/* Level 8+ Header */
div.section div.level8 h6.title, div.bridgehead div.level8 h9, div.glossdiv div.level8 h3.title, div.toc div.level8 p
{
    font-family: Arial;
    font-size: 100%;
    font-style: Normal;
    font-weight: Normal;
    color: midnightblue;
    margin-top: 10px;
    margin-bottom: 0px;
}

/* PARAGRAPHS AND LISTS ================================================================================ */

p
{
    margin-top: 30px;
    margin-bottom: 12px;
}

/* paragraphs in lists */
li p
{
    margin-top: 16px;
    margin-bottom: 16px;
}

/* paragraphs in admonitions blocks */
td p
{
    margin-top: 0px;
    margin-bottom: 16px;
}

div.highlights p
{
    margin-top: 6px;
    margin-bottom: 6px;
}

/* ADMONITIONS ======================================================================================== */
/* HtmlHelp and Chunk have a different output */

/* Admonition Headers */

div.note h3.title, div.note th, div.tip h3.title div.tip th
{
    font-family: Arial;
    font-size: 103%;
    font-style: Normal;
    font-weight: Bold;
    color: black;
}

div.caution h3.title, div.caution th
{
    font-family: Arial;
    font-size: 105%;
    font-style: Normal;
    font-weight: Bold;
    color: brown;
}

div.warning h3.title, div.warning th, div.important h3.title, div.important th
{
    font-family: Times New Roman;
    font-size: 105%;
    font-style: Italic;
    font-weight: Bold;
    color: midnightblue;
}

/* Admonition blocks */

div.note, div.caution, div.warning, div.important
{
    margin-top: 16px;
    margin-bottom: 6px;
}

div.note td, div.caution td, div.warning td, div.important td
{
    padding-top: 0px;
    padding-bottom: 0px;
}



/* TABLES ======================================================================================== */

th
{
    padding-top: 6px;
    padding-bottom: 6px;
    padding-left: 6px;
    padding-right: 6px;
}

td
{
    padding-top: 6px;
    padding-bottom: 6px;
    padding-left: 6px;
    padding-right: 6px;
}

/* FORMAL, INFORMAL OBJECTS  */

div.mediaobject, div.mediaobjectco, div.figure p.title
{
    text-align:center;
}


/* OTHER BLOCKS */

div.example, div.informalexample
{
    background-color:aliceblue;
    border-style:solid;
    border-color:gray;
    border-width:1pt;
    padding-left:10;
    padding-right:10;
    padding-bottom:0;

}

div.highlights
{
    background-color:white;
    border-style:solid;
    border-color:gray;
    border-width:1pt;
    margin-top:30;
    margin-bottom:30;
    margin-left:0;
    margin-right:0;
    padding-left:10;
    padding-right:10;
    padding-bottom:0;
    padding-bottom:0;
}

div.highlights p, div.highlights th
{
    font-size:80%;
}

/* INLINE ======================================================================================== */

/* Links */

a:link, a:visited
{
    color:midnightblue;
    text-decoration:none;
}
a:active
{
    color:saddlebrown;
}
a:hover
{
    text-decoration:underline;
}

a:link em.glossterm, a:visited em.glossterm
{
    color:black;
    text-decoration:none;
}
a:active em.glossterm
{
    color:saddlebrown;
    text-decoration:none;
}
a:hover em.glossterm
{
    text-decoration:none;
}


/* Closed Links */
.close
{
    font-weight: Bold;
}

/* Other Inline Elements */
.guilabel
{
    font-weight: Bold;
}

.guibutton
{
    font-weight: Bold;
}

.guimenu
{
    font-weight: Bold;
}

.systemitem
{
    font-size: 100%;
}