BODY {
  font-size : 11pt;
  background : white;
/*
  font-family :  宋体;
  border-style: solid;
  border-width: 4pt;    
  border-color: orange;
  padding: 1in;
*/
}

P{ line-height: 130%; 
   text-indent: 2em; 
   margin-top: 0.5em; 
   margin-bottom: 0;
   font-size : 11pt;
   text-align: left;}
.P1{line-height: 130%; 
   text-indent: 0em; 
   margin-top: 0.5em; 
   margin-bottom: 0;
   font-size : 11pt;
   text-align: left;}

P2{
	line-height: 100%;
	text-indent: 2em;
	margin-top: 0.5em;
	margin-bottom: 0;
	font-size : 9pt;
	text-align: left;
	font-style: normal;
	font-weight: normal;
	font-variant: normal;
	color: #000000;
}

OL{ list-style-type: decimal;
    padding-bottom : 8px;
    text-indent : 0;
    font-size : 10pt;
    /*background: gray;*/  }
OL.arabic { list-style-type: decimal;  }
OL.cjk { list-style-type: cjk-ideographic;  }
OL.roman{list-style-type: lower-roman;  }

HR { color: #2E8B57; height: 1pt; }
UL { list-style-type : circle; }
div{ border : 1pt;
     border-color : white;
     border-style : solid;
     padding: 10pt;   }

IMG{ border : 0; margin : 4pt 4pt 4pt; }
img.formula { border : thin;
              border-color: blue;
              border-style : solid; }

pre { border: #777777 1px solid;
      padding: 0.5em;
      margin-left: 2.5em;
/*      margin-right: 2.5em;*/
      white-space: pre;
      background-color: snow;
      color: darkgreen;
/*      font-family : Monospace, sans-serif, 宋体;  
      font-family: Tahoma, Fixedsys, 宋体;*/
      font-size: 11pt;
      line-height: 130%;}
pre.syntax { background: lightblue;   }
pre.error {  background-color: pink;  }
pre.url { background: bisque; }
pre.example:hover {	border-style: outset;}

em { color: red; text-decoration:none; font-style:normal;  }

h1 { 
    /* font:  16pt; */
     color: navy;
     border-bottom: 4px solid #000;
     padding: 2px;
	 PADDING-LEFT: 0.3em;
     font-family: Monospace, 宋体;
     margin: 0px;
     margin-bottom: 8px; }
h2 { color:#000000;
     font-size: 13pt;
     padding: 1px;
     margin-top: 2em; 
	 margin-bottom: 0.5em;}
h3 { color:#333333;
     font-size: 12pt;
     padding: 1px;
     margin-top: 1.2em;
	 margin-bottom: 0.3em;}
h4 { color:#548b54;
     font-size: 11pt;
     padding: 1px;
     margin-top: 1.2em;
	 margin-bottom: 0.3em;}

LI { margin-top: 3ex; }

td { font-family: "宋体"; font-size: 12pt}
A:link {COLOR: blue; TEXT-DECORATION: none}
A:visited {	COLOR: blue; TEXT-DECORATION: none}
A:Hover { text-decoration: underline;
          background-color: bisque;
          caption-side : left; }
div.tl{ 
        position: fixed;
        width: 7%;
        top: .4cm;
        right: 0;
        left: .4cm;
        bottom: auto;
        margin:0;
        padding: 5px;
        font:  28px;
        color:#666;
        border-bottom: 5px solid #000;
        margin: 0px;
        margin-bottom: 8px;
        }