body {
	background : white;
	border: 20pt solid midnightblue;
	font-family : Arial, "宋体", Verdana, Tahoma;
	font-size : 14px;
	margin: 0;
	padding: 0.7in;
	}

body.framed {
	padding: 10pt;
	border-style:none;
	}

body.ascii{
	background-color : Black;
	}

a{
	color: #813A66;
	font-weight: bold;
	text-decoration: none;
	}
a:hover {
	caption-side : left;
	background-color: #FF80FF;
	text-decoration: none;
	}

p{
	text-indent : 2em;
	}
p.banner {
	text-align : center;
	}
p.mmix{
	text-indent : 0;
	font-size : medium;
	}
p.tip{
	color: blue;
	}

h1 {
	ont-size:28px;
	border-bottom: solid #1E2A37 2pt;
	padding: 0.1em;
	padding-top: 0.2em;
	padding-left: 0.3em;
	padding-bottom: 2pt;
	background: ;
	color: #1E2A37;
	}
h1.home{
	color: #102C4A;
	font-size: 34px;
	}

h2 { 
	color:#666;
	font-size: 18px;
	border-top: solid black 1px;
	border-bottom: solid black 1px;
	padding: 0.1em;
	padding-top: 0.2em;
	padding-left: 0.3em;
	padding-bottom: 0.3em;
	background: LightGray;
	}

h3 { 
	color:#666;
	font-size: 16px;
	border-left: solid black 1px;
	border-bottom: solid black 1px;
	padding: 0.1em;
	padding-top: 0.2em;
	padding-left: 0.3em;
	padding-bottom: 0.3em;
	width: 70%;
	}

h4 { 
	color:#666;
	font-size: 14px;
	padding: 2px;
	margin-top: 5px;
	}

h5 {
	color: #666;
	text-align: left;
	font-size: 12px;
	font-size: 12px;
	}

hr {
	color: #2E8B57;
	height: 1pt;
	}

div{
	border : 1pt;
	border-color : white;
	border-style : solid;
	padding: 10pt;
	}

img{
	border : 0;
	margin: 2px 2px 2px 2px;
	}
img.formula {
	border : thin;
	border-color: blue;
	border-style : solid;
	}

em {
	color: #FF9900;
	text-decoration:none;
	font-style:normal;
	}
em.phrase {
	color: blue;
	text-decoration:none;
	font-style:normal;
	}

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

ul {
	list-style-type : circle;
	}

li {
	margin-top: 3ex;
	}

table {
	border-collapse: collapse;
	}

td {
	font-size: 12px;
	}


/* haijd Add */

code{
	font-family: "Courier New", Courier, monospace;
	font-size: 100%;
	color: #006000;
	}

pre {
	background-color: #eee;
	border: 1px solid #bbb;
	color: #006000;
	font-family: "Courier New", Courier, monospace;
	font-size: 100%;
	margin: 1em 0 0 25px;
	padding: .9em;
	text-align:left;
	overflow: auto;
	}


pre.prettyprint {
	padding: 0.5 em;
	border: 1px solid #888;
	background-color:#fffff9;
	}

.alert {
	border: 1px solid #224499;
	padding: .5em .5em 1em .5em;
	margin: 1em 0 1em 25px;
	background-color:#e5ecf9;
	border-color: #3366CC;
	}