body { 
	padding-left: 55px;
	padding-right: 30px;
	font-size:80%;
}

h1 {
	font-size:180%;
}

h2 {
	margin-top: 1em;
	font-size:120%;
}


h3 {
	margin-top: 1em;
	margin-bottom: 0.2em;
	border-top:0px;
	border-right:0px;
	border-bottom:1px solid gray;
	border-left:0px;
	font-size:120%;
}

h4 {
	font-size:110%;
}

p {
	font-size:100%;
}

ol {
	font-size: 100%;
	line-height: 1.8em;
	margin-top: 1.5em;
	margin-bottom: 1.5em;
	margin-left: 30px;
	margin-right: 30px;
	padding-top: 15px;
	padding-bottom: 15px;
	padding-left: 20px;
	padding-right: 20px;
	border-top: solid 1px #ccffff;
	border-bottom: solid 1px #99cccc;
	border-left: solid 1px #ccffff;
	border-right: solid 1px #99cccc;
	background-color: #E1EDFA;
	list-style-position: inside;
}

ul {
	margin-left: 30px;
	margin-right: 30px;
	font-size:100%;
}

dl {
	font-size:100%;
	margin-top: 1.0em;
	margin-bottom: 1.5em;
	margin-left: 30px;
	margin-right: 30px;
	padding-bottom: 5px;
	padding-left: 10px;
	padding-right: 5px;
	border-top: solid 1px #ccffff;
	border-bottom: solid 1px #99cccc;
	border-left: solid 1px #ccffff;
	border-right: solid 1px #99cccc;
	background-color: #E1EDFA;
	list-style-position: inside;
}

dt {
  	font-weight: bold;
  	width: auto;
  	margin-top: 1.5em;
  	margin-left: 0.5em;
}

dd {
  	width: auto;
 	margin-top: 0.5em;
  	margin-left: 1.5em;
 	margin-bottom: 0.5em;
	margin-right: 0.5em;
}

pre {
	margin-left: 20pt;
        margin-right: 20pt;
        margin-bottom: 0pt;
        margin-top: 0pt;
        background: #ffffe0;   
	padding:1em; 
        border: 1px solid #6464e4;
        white-space: pre;
}

table {
	margin-left: 20pt;
	margin-right: 20pt;
	font-size:90%;
}

th {
  font-weight: bold;
  border-top: solid 1px #ccffff;
  border-bottom: solid 1px #99cccc;
  border-left: solid 1px #ccffff;
  border-right: solid 1px #99cccc;
  background-color: #F1FDFF;
  list-style-position: inside;
}

td {
  border-top: solid 1px #ccffff;
  border-bottom: solid 1px #99cccc;
  border-left: solid 1px #ccffff;
  border-right: solid 1px #99cccc;
  background-color: #F1FDFF;
  list-style-position: inside;
}

.caution { 
	color : red;
	font: bold;
}

.note {
	margin-left: 20pt;
        margin-right: 20pt;
        margin-bottom: 0pt;
        margin-top: 0pt;
        background: #EEEEEE;   
	padding:1em; 
        border: 1px solid #6464e4;
        white-space: pre;
}

.navigation { 
	margin-top:0pt;
	margin-bottom:0pt; 
}

.image {
	text-align:center;
}

.code {
	margin-left: 20pt;
        margin-right: 20pt;
        margin-bottom: 0pt;
        margin-top: 0pt;
        background: #ffffe0;   
	padding:1em; 
        border: 1px solid #6464e4;
        white-space: pre;
}