body
{
    font-family: "Times New Roman",serif;
    font-size: small;
}
.h1
{
    font-family: "Times New Roman",serif;
    font-size: 350%;
    margin-top: 2em;
    margin-bottom: 2em;
    text-align: center;
}
.h2
{
    font-family: "Times New Roman",serif;
    font-size: 180%;
    margin-top: 0.9em;
    margin-bottom: 2em;
    text-align: center;
    line-height:1.2em;
}
.halftitle
{
    font-family: "Times New Roman",serif;
    font-size: 200%;
    margin-top: 3em;
    margin-bottom: 0.3em;
    text-align: center;
}
.author
{
    font-family: "Times New Roman",serif;
    font-size: 130%;
    margin-top: 6em;
    margin-bottom: 0.5em;
    text-align: center;
}
.author1
{
    font-family: "Times New Roman",serif;
    font-size: 120%;
    margin-top: 0.1em;
    margin-bottom: 0.5em;
    text-align: center;
}
.publisher
{
    font-family: "Times New Roman",serif;
    margin-top: 15em;
    margin-bottom: 0.5em;
    text-align: center;
}
.noindent
{
    font-family: "Times New Roman",serif;
    margin-top: 1.2em;
    margin-bottom: 0.2em;
}
.noindent1
{
    font-family: "Times New Roman",serif;
    margin-top: 0.1em;
    margin-bottom: 0.2em;
}
.indent
{
    font-family: "Times New Roman",serif;
    margin-top: 0.2em;
    margin-bottom: 0.2em;
    text-indent: 1em;
}
.center
{
    font-family: "Times New Roman",serif;
    text-align: center;
    margin-top: 1em;
    margin-bottom: 1em;
}
.dedication
{
   font-family: "Times New Roman",serif;
   text-align: center;
   margin-top: 0.5em;
   margin-bottom: 0.5em;
   text-indent: 0.01em;
}
.copyright
{
    font-family: "Times New Roman",serif;
    font-size: 0.8em;
    margin-top: 1em;
    margin-bottom: 1em;
    text-indent: 0.01em;
    text-align: left;
}
.cover
{
   text-align: center;
}
.blockquote
{
    font-family: "Times New Roman",serif;
    font-size: 0.9em;
    margin-top: 0.2em;
    margin-bottom: 0.1em;
    margin-left: 1em;
    margin-right: 1em;
}
.blockquote1
{
    font-family: "Times New Roman",serif;
    font-size: 0.9em;
    margin-top: 0.1em;
    margin-bottom: 0.2em;
    margin-left: 1em;
    margin-right: 1em;
    text-indent: 1em;
}
.blockquote2
{
    font-family: "Times New Roman",serif;
    margin-top: 1.2em;
    margin-bottom: 1.2em;
    margin-left: 1em;
    margin-right: 1em;
}
.attribute
{
    font-family: "Times New Roman",serif;
    margin-top: 0.3em;
    margin-bottom: 1em;
    text-align: right;
}
span.big
{
    font-weight:normal;
    font-size: 48.0pt;
}
.linespace
{
    margin-top: 0.01em;
    margin-bottom: 0.01em;
    text-align: justify;
}
.image
{
    font-family: "Times New Roman",serif;
    text-align: center;
    margin-top: 1em;
    margin-bottom: 0.5em;
}
.indenthanging
{
    font-family: "Times New Roman",serif;
    margin-top: 0.3em;
    margin-bottom: 0.3em;
    margin-left: 1.5em;
    text-indent: -1.5em;
}
div.sidebar
{
    font-family: "Times New Roman",serif;
    margin-top: 0.5em;
    margin-bottom: 1em;
    border: solid .1em;
}
.noindent2
{
    font-family: "Times New Roman",serif;
    margin-top: 0.5em;
    margin-bottom: 1em;
    margin-left: 1em;
}