body
{
    margin-left: 3%;
    margin-right: 3%;
    font-size: 125%;
}

a
{
    color: #666688;
    text-decoration: none;
    border-bottom-color: #666688;
    border-bottom-width: 1px;
    border-bottom-style: dotted;
}

div.smallexample, div.example
{
    border: 1px solid silver;
    padding: .5em;
    background: rgb(244, 244, 244);
    /*width: 85%;*/
    margin-left: 0em;
    margin-right: 0em;
    margin-bottom: 2em;
    margin-top: 1em;
    color: #004400;
    border-radius: 4px;
}

blockquote
{
    border: 2px solid #666688;
    padding: .5em;
    background: #FFFFE3;
    /*width: 85%;*/
    margin-bottom: 2em;
    margin-top: 1em;
    margin-left: 0em;
    margin-right: 0em;
    border-radius: 4px;
}

h1, h2, h3, h4, h5
{
    color: #666688;
    font-family: Candara,Arial,sans-serif;
}

h1.chapter, h1.appendix, h2.chapter, h2.appendix
{
    border-bottom: 5px solid #ccd;
}

h2.section, h3.section
{
    border-bottom: 2.5px solid #ccd;
}

h3.subsection, h4.subsection
{
    /*background: #900;*/
    color: #666688;
    /*padding: 5px;*/
}

table.header, div.header p
{
    background: #EEEEEE;
    border: 1px solid black;
    padding: .5em;
    /*font-size: 70%;*/
}

table.header a, div.header p a
{
    /*border-bottom-color: #666688;
    border-bottom-width: 1px;
    border-bottom-style: dotted;*/
    border-bottom: none;
}

table.header a:link, div.header p a:link
{text-decoration:none;}

table.header a:visited, div.header p a:visited
{text-decoration:none;}

table.header a:hover, div.header p a:hover
{text-decoration:underline;}

table.header a:active, div.header p a:active
{text-decoration:underline;}

kbd
{
    padding-left: .25em;
    padding-right: .25em;
    font-family: sans-serif;
    border: solid 1px #C2C2C2;
    border-radius: 4px;
    background-color: #F0F0F0;
    box-shadow: 1px 1px silver;
}

code
{
    padding-left: .25em;
    padding-right: .25em;
    font-family: sans-serif;
    box-shadow: 1px 1px silver;
    border-radius: 4px;
    background-color: rgb(244, 244, 244);
    color: #004400;
}

samp
{
    padding-left: .25em;
    padding-right: .25em;
    font-family: sans-serif;
    box-shadow: 1px 1px silver;
    border-radius: 4px;
    background-color: rgb(244, 244, 244);
    color: #3333FF;
}

var
{
    font-family: sans-serif;
    color: green;
}

div.contents code, div.contents var, div.contents samp, div.contents kbd,
table.menu code, table.menu var, table.menu samp, table.menu kbd,
h1 code, h1 var, h1 samp, h1 kbd,
h2 code, h2 var, h2 samp, h2 kbd,
h3 code, h3 var, h3 samp, h3 kbd,
h4 code, h4 var, h4 samp, h4 kbd,
a code, a var, a samp, a kbd
{
    padding: inherit;
    font-family: inherit;
    border: inherit;
    background-color: inherit;
    box-shadow: inherit;
    color: inherit;
}

div.contents li
{
    margin-bottom: .25ex;
}

div.contents li ul
{
    margin-top: .25ex;
}

li
{
    margin-bottom: .5em;
}

tt
{
    /*font-family: monospace;*/
}

table.menu
{
    /*margin-left: 20px;*/
    border-left: 7px solid #ccd;
    padding-left: .5em;
}