body {
	font-family: ‘Lucida Sans Unicode’, ‘Lucida Grande’, sans-serif;

	}
#contents img  {padding-left:20px;}
header {
    width:100%;
    border-bottom:4px double gray;
    border-radius: 4px;
    margin-bottom: 15px;
}
header > nav {
    border-radius: 4px;
    background-color: #3366FF;
    height: auto;
}
header > nav > ul {
    list-style-type: none;
    padding-top:1px;
    padding-bottom:1px;
}
header > nav > ul > li {

	padding:5px;
    display:inline-block;
    width:auto;
    border-right: 3px solid;
    border-color: #EBEBEB;
    border-radius: 4px;

}
header > nav > ul > li > a{
    color:#EBEBEB;
	text-decoration:None;
	font-weight:bold;

}
header > nav > ul > li:hover{
	background:#306;
}
footer {
    height: 80px;
    padding-top:5px;
    margin-top:5px;
    margin-bottom: 0px;
    border-top:2px solid black;
    border-radius: 4px;
    text-align:right;
}

/*footer > small {
    color: red;
    text-decoration:blink;
}*/
dt {
    font-weight:bold;
}

#contents {
	
    height: auto;
    width:80%;
    padding: 10px;
    margin: 0 auto;
    border: 6px double #808080;
    border-radius: 10px;
	margin-bottom: 20px;
}
#contents a{
  color:#7700cc;
	text-decoration:None;
	font-weight:bold;
}
#contents p {
	
	margin-right:100px;
	margin-left:20px;
	line-height: 20px;
}
#contents ul {
    list-style-type: none;
}
.codebox{
	margin-left:50px;
	margin-right:170px;
	padding:15px;
	border: 1px dashed #2F6FAB;
	background:#f9f9f9;
	font-family: monospace, "Courier";
	font: 1em/1.2em monospace;
}
pre {
	width:auto;
	}