/*
        StyleSheet for S.
*/

html{
        border-top: 0.2em;
        border-right: 1.0em;
        border-bottom: 0.2em;
        border-left: 1.0em;
        border-style: solid;
        border-color: #000000;
/*
        border-color: #226622;
 */
}

body{
	font-family: monospace;
	font-size: 100%;
}

blockquote{
	background: #eeeeff;
	margin: 2.0em 1.0em 2.0em 1.0em;
}

h1,h2,h3,h4,h5,div,dl,dt,dd,p,br,blockquote{
        border:0.0em;
        margin:0.0em;
}

h1,h2,h3,h4{
	float: both;
	margin-top: 0.4em;
	margin-bottom: 0.6em;
}

h1{
	text-align: right;
	border: 1.0em solid #dddddd;
	background: #dddddd;
}

h2{
	background: #dddddd;
	margin-top: 1.0em;
	margin-bottom: 1.0em;
	text-indent: 0.3em;
	line-height: 1.4em;
        border-top: 0.0em;
        border-right: 0.1em;
        border-bottom: 0.1em;
        border-left: 0.0em;
        border-style: solid;
        border-color: #000000;
}

h3{
	margin-top: 1.0em;
	margin-bottom: 1.0em;
	text-indent: 0.3em;
	line-height: 1.6em;
        border-top: 0.0em;
        border-right: 0.0em;
        border-bottom: 0.0em;
        border-left: 0.4em;
        border-style: solid;
        border-color: #000000;
}

h4{
	margin-top: 1.0em;
	margin-bottom: 1.0em;
	text-indent: 0.3em;
	line-height: 1.4em;
        border-top: 0.0em;
        border-right: 0.0em;
        border-bottom: 0.0em;
        border-left: 0.2em;
        border-style: solid;
        border-color: #000000;
}

img{
	float: right;
	vertical-align: top;
	text-align: top;
	margin-top: 1.0em;
	margin-right: 1.0em;
	margin-bottom: 1.0em;
	margin-left: 1.0em;
}

p{
	margin: 0.5em 2.0em 0.5em 2.0em;
	line-height: 1.4em;
	font-family: monospace;
}

strong,b{
	color: #ff0000;
	font-weight: bold;
}

/* 

dl {  
  border:1px solid #999;  
  width:390px;  
}  
dt {  
  float:left;  
  width:100px;  
  padding:5px 0 5px 10px;  
  clear:both;  
  font-weight:bold;  
}  
dd {
    
  width:100px;  
  margin-left:0px;  
  padding:5px 5px 5px 10px;  
  border-left:1px solid #999;  
} 
 
dt,dl,dd{ float: left; }

*/

dl,dd{ margin-left: 25px; }

table{
	width: 100%;
	margin-top: 1.0em;
	margin-bottom: 1.0em;
}
th,td{
	#padding: 0.8em;
}

hr{
	margin-top: 1.0em;
	margin-bottom: 1.0em;
}

pre{
	margin: 2.0em 0.0em 2.0em 0.0em;
}

ruby{
	padding: 0.8em 0.0em 0.0em 0.0em;
}

ul,ol{
	background: #eeeeee;
	border-color: #eeeeee;
}

.contents{
        background: #ffffff;
	font-size: 60%;
	float: right;
	margin: 2.0em 0.0em 2.0em 0.0em;
	border: 1.0em solid #ffffff;
}

.example{
	border: 1.0em solid #bbddbb;
	background: #bbddbb;
}

.footer{
	text-align: center;
}