px;
    PADDING-TOP: 0px
*/
}

#main P
{
    margin: 0px 0px 1em;
    line-height: 1.8em;
    text-align: justify;
}

/* ***************************************************************** */

body
{
    font-family: Georgia, "Times New Roman", serif;
    text-decoration: none;

    background-image: url(pic/leaf.jpg);
    background-repeat: no-repeat;
    background-position: 55px 100px;
    background-color: transparent;


    margin-left:         60px;
    margin-right:        5em;
    text-align:          justify;
}

h1
{
    font-family: "Times New Roman", Verdana, Arial, Helvetica, sans-serif;
    margin-left: 0px;
    padding-left: 0px;
    text-align: left;
}

a:hover
{
    color: #666666;
    text-decoration: none;
}

span.heading
{
    font-size: 0.8em;
}

h2
{
    font-family: "Times New Roman", Verdana, Arial, Helvetica, sans-serif;
    text-align: left;
}

a
{
    /* text-decoration: none; */
}

pre.code
{
    font-size: 1em;
}

address
{
    font-variant: small-caps;
}

span.stylish
{
    font-family: Garamond, sans-serif;
    font-style: italic;
}

.small
{
    font-family: tahoma, verdana, sans-serif;
    font-size: 10px;
    line-height: 13px;
}

span.title
{
    font-family: Times, serif;
    /* font-style: italic; */
    font-size: 3.5em;
}

span.name
{
    font-family: sans-serif;
    font-style: italic;
    font-weight: bolder;
    color: teal;
}

address
{
    font-size: 0.8em;
}

samp.file
{
    color: blue;
}

samp.code
{
    color: navy;
    font-size: 1em;
}

span.cmd
{
    /* color: #5595C0; */
    font-weight: bolder;
    font-size: 1em;
}

span.cmd-opt
{
    /* color: #5595C0; */
    color: teal;
    font-size: 1em;
}

span.cmd-rest
{
    color: #399C6A;
    font-weight: bolder;
    font-size: 1em;
}

span.note2
{
    font-family: "verdana", sans-serif;
    color: #CC66FF;
}

span.note
{
    color: #228B00;
}

div.picture
{
    font-style: italic;
}