body {
	background: #fff;
	color: #000;
	font-family: sans-serif;
	margin-top: 20px;
	margin-left: auto;
	margin-bottom: 20px;
	margin-right: auto;
	padding: 0 15px 0 15px;
	text-align: justify;
	width: 700px;
	border-top: 1px solid #5A7394;
	border-left: 1px solid #5A7394;
	border-bottom: 2px solid #5A7394;
	border-right: 2px solid #5A7394;
}

a:visited {
	color: #00a;
	display: inline;
	text-decoration: underline;
}

a:active {
	color: #00a;
	display: inline;
	text-decoration: underline;
}

a:link {
	color: #00a;
	display: inline;
	text-decoration: underline;
}

a:hover {
	background: #efefef;
	color: #d22a1d;
	display: inline;
	text-decoration: none;
}

h1 {
	font-family: serif;
	font-size: 250%;
	font-weight: bold;
	background: transparent;
	color: #5A7394;
	margin: 10px 0 10px 0px;
}

h2 {
	color: #000;
	text-align: right;
	font-family: serif;
	font-size: 180%;
	padding: 2px 2px 2px 10px;
}

h2.first {
	margin-top: 0;
}

h3 {
	background: url("pic/h2.bg.png") repeat-y top left;
	color: #000;
	font-family: serif;
	font-size: 150%;
	padding: 1px 1px 1px 5px;
}

h3.first {
	margin-top: 0;
}

h4 {
	font-size: 130%;
	font-family: serif;
}

img {
	border: 0px;
}
	
p.update {
	background-color: #DBE1E7;
	font-size: 10px;
	text-align: center;
	margin: 30px -15px 0 -15px;
	padding-bottom: 5px;
	border-top: 1px solid #5A7394;
}

p.topmenu {
	background-color: #DBE1E7;
	margin: 0 -15px 5px -15px;
	padding: 5px 15px 5px 15px;
	border-bottom: 1px solid #5A7394;
}

.lang {
	margin-left: 15px;
	font-size: 11px;	
}

li {
	margin: 8px;
}

table {
	color: #000;
	border-color: #5A7394;
	font-family: sans-serif;
	line-height: 130%;
	padding: 2px 2px 2px 2px;
	border-collapse:collapse;
}

table td {
	padding: 5px 4px 5px 4px;
}

pre {
	font-family: monospace;
	font-size: 12px;
	background: #f5f5f5;
	border-left: 2px solid #5a7594;
	border-top: 1px dashed #5a7594;
	border-right: 1px dashed #5a7594;
	border-bottom: 1px dashed #5a7594;
	margin-left: 3ex;
	padding-left: 2ex;
	padding-top: 1ex;
	padding-right: 0;
	padding-bottom: 1ex;
}

tt {
	font-family: monospace;
	color: #5A7394;
}

.parenthese {
	font-family: serif;
	border: dotted 1px #5A7394;
	padding-left: 2ex;
	padding-top: 1ex;
	padding-right: 2ex;
	padding-bottom: 1ex;
	margin-left: 3ex;
}