/************************************************************************/
/* Custom style-sheet stuffs for the Subversion book in HTML form.      */
/************************************************************************/

body
{
    background: white;
    margin: 0.5in;
    font-family: arial,helvetica,sans-serif;
}

h1.title
{
    font-size: 250%;
    font-style: normal;
    font-weight: bold;
    color: black;
}

h2.subtitle
{
    font-size: 150%;
    font-style: italic;
    color: black;
}

h2.title
{
    font-size: 150%;
    font-style: normal;
    font-weight: bold;
    color: black;
}

h3.title
{
    font-size: 125%;
    font-style: normal;
    font-weight: bold;
    color: black;
}

h4.title
{
    font-size: 100%;
    font-style: normal;
    font-weight: bold;
    color: black;
}

.toc b
{
    font-size: 125%;
    font-style: normal;
    font-weight: bold;
    color: black;
}

p,li,ul,ol,dd,dt
{
    font-style: normal;
    font-weight: normal;
    color: black;
}

tt,pre
{
    font-family: courier new,courier,fixed;
}

.command, .screen, .programlisting
{
    font-family: courier new,courier,fixed;
    font-style: normal;
    font-weight: normal;
}

.filename
{
    font-family: arial,helvetica,sans-serif;
    font-style: italic;
}

a
{
    color: blue;
    text-decoration: underline;
}    

a:hover 
{
    background: rgb(75%,75%,100%);
    color: blue;
    text-decoration: underline;
}

a:visited 
{
    color: purple;
    text-decoration: underline;
}

img
{
    border: none;
}

.figure, .example, .table
{
    margin: 0.125in 0.5in;
}

.table table
{
    border: 1px rgb(180,180,180) solid;
    border-spacing: 0px;
}

.table td
{
    border: 1px rgb(180,180,180) solid;
}

.table th
{
    background: rgb(180,180,180);
    border: 1px rgb(180,180,180) solid;
}

.table p.title, .figure p.title, .example p.title
{
    text-align: left !important;
    font-size: 100% !important;
}

.author
{
    font-size: 100%;
    font-style: italic;
    font-weight: normal;
    color: black;
}

.sidebar 
{
    border: solid 2px rgb(180,180,180);
    padding: 0.12in;
    margin: 1em 0.5in;
}

.sidebar p.title
{
    text-align: center;
    font-size: 125%;
    background: rgb(180,180,180);
}

.note
{
    border: 1px solid black;
    background: rgb(252,246,220) url('images/note.png') no-repeat;
    margin: 0.12in 0;
    padding-left:55px; padding-right:55px; padding-top:0; padding-bottom:0
}

.tip
{
    border: 1px solid black;
    background: rgb(224,244,255) url('images/info.png') no-repeat;
    margin: 0.12in 0;
    padding-left:55px; padding-right:55px; padding-top:0; padding-bottom:0
}

.warning
{
    border: 1px solid black;
    background: rgb(255,210,210) url('images/warning.png') no-repeat;
    margin: 0.12in 0;
    padding-left:55px; padding-right:55px; padding-top:0; padding-bottom:0
}

.programlisting, .screen
{
    font-family: courier new,courier,fixed;
    font-style: normal;
    font-weight: normal;
    font-size: 90%;
    color: black;
    margin: 1em 0.5in;
    padding: 0.5em;
    background: rgb(240,240,240);
    border-top: black dotted 1px;
    border-left: black dotted 1px;
    border-right: black solid 2px;
    border-bottom: black solid 2px;
}

.navheader, .navfooter
{
    border: black solid 1px;
    background: rgb(180,180,200);
}

.navheader hr, .navfooter hr
{
    display: none;
}
h1           { font-family: Garamond; font-size: 12pt; font-weight: bold }
h2           { font-size: 14pt; font-family: Times New Roman }
h3           { font-family: Teen Light; font-size: 14pt }
