a:active {
	color: #66ff66  }
a:link {
	color: #6666ff  }
a:visited {
	color: #999966  }
body, td { font-size: 12px; }
body { color: black; background-color: white  ; }
h1 { font-weight: bold; font-size: 250%; font-family: Times, serif; margin-bottom: 1.5ex; padding-bottom: 0.5ex; border-bottom: thick solid gray    }
h2 { font-weight: bold; font-size: 130%; font-family: Osaka, "Lucida Grande", Arial, sans-serif  ; }
h3 { font-weight: bold; font-size: 110%  ; }
h4   {	margin-left: 1em }


p     {	line-height: 160%;
	margin-right: 1.5em;
	margin-left: 1.5em }
dl {
	line-height: 140%  }
ul {
    line-height: 150%  }
li  {
	line-height: inherit ;
	margin-top: 0.5em;
	margin-right: 1.5em;
	margin-bottom: 0.5em; }
.bigstrong {
	font-weight: bold;
	font-size: large  }
.tablecaption {
	text-align: center;
	margin-top: 1ex  }
.centertable {
	text-align: center;
	margin: 5mm 4%  }
.figure {
	text-align: center  }
.nomargine {
	margin: 0  }
.listBlock  {	margin-right: 3ex;
	margin-left: 2ex }

.tableContent {
	margin-right: 0;
	margin-left: 0  }
.widespace {
	margin-bottom: 1ex  }
.terminalCommand     {	color: white;
	font-family: Osaka, Courier, Monaco, "Courier New", monospace;
	background-color: black;
	margin: 1ex 2em;
	padding: 8px 10px;
	border: solid 2px silver }
.tightList { line-height: 120%; margin: 0; padding: 0 0 0 2em; list-style-type: disc; }
.footer { margin-right: 1em; margin-left: 1em; border-top: 1pt solid gray; }
.backforth-navi { position: relative; float: right; }
.icon-img { vertical-align: middle; }
.level-header { margin: 0.5ex 1em 1ex; padding: 0.5ex 1em; border-bottom: 1px solid gray; }
#contents { position: relative; margin: 0 8px; padding: 0; min-width: 600px;}