body {
  color: #000000;
  background-color: #ffffff;
  font-size: 15px;
  line-height: 1.3;	/* $B9T4V(B */
}

img {
  border-width: 0px;
}

#logo2{
  float: right;
}

blockquote {
    font-size: x-small;
}

.banner {
 float: left;
}

.topmenu {
  text-align: center; 
  background-color: #99ccff;
}

.head {
    background-image: url(img/line_top.gif);
}

.tail {
    background-image: url(img/line_lower.gif);
}

.leftmenu {
    background-color: #CCCCF0;
    font-size: smaller;
    width: 23%;
}

.leftmenupara {
  text-align: left; 
  clear: both;
}

.pinyin {
  font-family: Times New Roman;
}

h1 {  
text-decoration:underline;
font-size: x-large; 
font-style: normal; 
font-weight: bold; 
font-variant: normal; 
color: #000066; 
text-align: center; 
margin-top: 2px; 
margin-right: 5px; 
margin-bottom: 2px; 
margin-left: 5px; 
padding-top: 1px; 
padding-right: 1px; 
padding-bottom: 1px; 
padding-left: 1px; 
border: 2px #CCCCCC none
}

h2 {  
text-decoration:underline;
font-size: large; 
color: #000066; 
font-weight: bold; 
font-style: normal; 
line-height: normal; 
height: auto; 
width: auto; 
margin-top: 2px; 
margin-right: 10px; 
margin-bottom: 2px; 
margin-left: 10px; 
padding-top: 1px; 
padding-right: 1px; 
padding-bottom: 1px; 
padding-left: 1px; 
border: #CCCCCC; 
border-style: solid; 
border-top-width: 1px; 
border-right-width: 1px; 
border-bottom-width: 1px; 
border-left-width: 1px
}
h2 {  text-align: center}

h3 {  
font-weight: bold; 
font-variant: normal; 
color: #000066; 
font-style: normal; 
line-height: normal; 
text-align: center; 
margin-top: 2px; 
margin-right: 15px; 
margin-bottom: 2px; 
margin-left: 15px; 
padding-top: 1px; 
padding-right: 1px; 
padding-bottom: 1px; 
padding-left: 1px; 
border: 1px #CCCCCC solid}

span {  text-align: justify}

.h1body {  
font-style: normal; 
height: auto; 
width: auto; 
margin-top: 5px; 
margin-right: 7px; 
margin-bottom: 5px; 
margin-left: 7px; 
padding-top: 1px; 
padding-right: 1px; 
padding-bottom: 1px; 
padding-left: 1px; 
border: 5px #FFFFFF solid; 
left: auto; 
top: auto; 
clip:  rect(   )
}

.h2body {  
margin-top: 5px; 
margin-right: 10px; 
margin-bottom: 5px; 
margin-left: 10px; 
padding-top: 4px; 
padding-right: 4px; 
padding-bottom: 4px; 
padding-left: 4px; 
border: 5px #FFFFFF
}

.h3body {  
font-style: normal; 
height: auto; 
width: auto; 
margin-top: 5px; 
margin-right: 12px; 
margin-bottom: 5px; 
margin-left: 12px; 
padding-top: 5px; 
padding-right: 5px; 
padding-bottom: 5px; 
padding-left: 5px; 
border: #FFFFFF; 
border-top-width: 2px; 
border-right-width: 2px; 
border-bottom-width: 2px; 
border-left-width: 2px
}

.copyright {
  color: #ffffff;
  text-align: right;
}

.command {  background-color: #CCCCCC}
.screen {  color: #FFFFFF; background-color: #000000}
.source {  color: #006600; background-color: #99CCCC}
.setup {  color: #0000CC}
.references {  color: #3366FF; background-color: #CCCCCC}

p {  
#text-indent: 0.5em;
margin-top: 5px; 
margin-right: 10px; 
margin-bottom: 5px; 
margin-left: 10px; 
padding-top: 4px; 
padding-right: 4px; 
padding-bottom: 4px; 
padding-left: 4px; 
border: 5px #FFFFFF;
}
