body { font: 0.9em Arial; margin: 0px; padding: 0px 0px 5px; }
h2 { display: inline; }
.div1, .div2 { width: 200px; margin: 0px auto; }
.div1 { margin-top: 30px; margin-bottom: 60px; text-align: center; line-height: 20px; }
.div1 P { font-size: 18px; }
.div1 a, .div2 a { color: rgb(0, 119, 204); }
.div1 a { margin: 0px 8px; }
.div1 a.current { color: black; text-decoration: none; }
.div2 { margin-top: 70px; }
.div2 li { padding-top: 6px; padding-bottom: 6px; }
.green { color: Green; }
.cn { font-family: "Courier New",Georgia; }
#status { display: inline-block; margin-left: 26px; line-height: 50px; height: 50px; vertical-align: middle; }
.code { border: 1px dashed rgb(188, 188, 203); padding: 8px 12px; white-space: pre; font-family: "Courier New",Georgia; font-size: 12px; margin: 6px 0px; overflow: auto; }