body
{
    margin: 0px;
    padding: 0px;
}

#header
{
    width: 100%;
}

#HeaderTitle
{
    right: auto;
    left: 50%;
}

#main
{
}

#Title
{
    font-size: 20px;
    text-align: center;
}

#subTitle
{
    font-size: 14px;
    font-style: italic;
}

#rightmenu
{
    background-color: #EEEEFF;
    width: auto;
    left: 700px;
    padding-left: 2px;
    margin: 0px;
}


#rightmenu a, 
#rightmenu a:link, 
#rightmenu a:visited,
#rightmenu a:hover
{
    color: #2554C7;
}

#rightmenu h3
{
    color: #57E964;
}

#rightmenu ul li
{
    display: inline;
    color: gray;
}


#rightmenu .RecentComment
{
    overflow: auto;
    height: 25em;
}

#rightmenu .RecentComment ul li
{
    display: block;
}

.postbody
{
}

#rightmenu
{
    background-color: #EEEEFF;
}

#rightmenu ul li
{
    display: inline;
}

#rightmenu .RecentComment ul li
{
    display: block;
}

.postbody
{
}

img
{
border:0px;
}

.article em
{
    font-style: normal;
    font-family: 楷体;
}

.article .author
{
    display: none;
}

.article .subtitle:before
{
	content: "——";
}


.article .epigraph
{
    font-family: 楷体;
    background: #D3D3D3;
    padding: 1pt 8pt 1pt 8pt;
}

.epigraph .attribution
{
    text-align: right;
}

.article .toc dl
{
    text-indent: 18pt;
}

.article .toc dl dt
{
    display: inline;
}

.article .toc dl dt A
{
    padding-right: 8pt;
    text-decoration: none;
}

.article H1
{
    font-size: 16pt;
    font-family: 宋体;
}

.article H2
{
    font-size: 14pt;
    font-family: 宋体;
    color: rgb(51, 102, 255);
    padding-top: 8pt;
}

.section P, .abstract P, .section .listitem
{
    text-indent: 18pt;
    text-align: justify;
    font-size: 10pt;
}

.listitem P, .abstract .title
{
    text-indent: 0pt;
}

.abstract .title B, .toc P B
{
    font-size: 12pt;
}

.example,
.informalexample,
.programlisting,
.screen
{
    font-size: 10pt;
    background-color:#dddddd;
    padding: 2pt 4pt;
    margin: 0 2em;
    border: 1px dashed black;
}

.example .programlisting,
.informalexample .programlisting /* don't pad, margin or border again */
{
    padding: 0;
    margin: 0;
    border: none;
}

.programlisting
{
    color: blue;
}

.article .term
{
    text-decoration: underline;
}

.table table
{
    font-size: 9pt;
}

.equation,
.equation-contents,
.mathphrase
{
}

code.code,
code.filename,
.command,
.literal,
.keycode,
.parameter
{
    font-style: italic;
}