/* 2010/01/15  jun.css                  */
/*             top, right, bottom, left */

body.normal {margin: .5em 1% .1em 1%; background-color: #f8faff; color: black; }
p { margin: 0.5em 2em 1.0em 1.0em; line-height: 140%; }
pre, code { font-family:monospace; font-size:100%; line-height: 120%;}
img { margin: 0.1em;  margin-left: 3em;}

dl { margin-top: 0em; margin-bottom: 0em; margin-left: 0em; line-height: 120%;}
dt { margin-top: 1em; margin-bottom: 0em; margin-left: 1em; font-weight:bold; line-height: 120%;}
dd { margin-top: 0.3em; margin-bottom: 0em; margin-left: 0em; padding-left:2em; font-weight:normal; line-height: 120%;}
ul { margin-top: 0em; margin-bottom: 0em; line-height: 120%;}
hr { margin-top: 0.5em; margin-bottom: 0.5em;}
li { line-height: 130%;}

a:link { color: blue; text-decoration: underline;}
a:visited { color: #0000cc; text-decoration: underline;}
a:hover { color: #ffffff; background-color: #000088; text-decoration: underline;}
a img { border: solid 1px;}

h1 { font-family:sanserif; font-weight:bold; font-size:medium; color: black; margin: 5px; margin-right: 0px; padding: 0.1em 0.3em 0.3em 0.3em; clear: both;}
h2 { margin: 5px; text-align: left; background: #f8f8ff; color: #555555; text-align: left; border: none; border-bottom: #aaaaaa 1px solid; padding: .1em .5em .1em .5em; font-size:medium;}
h3 { text-align: left; border-left: #0000ff 10px solid; color: black; margin: 1em 1em 0.5em 1em; padding: .1em .5em .1em .5em; font-size:medium;}
h4 { text-align: left; border-left: #a8acff 25px solid; color: black; margin: 0.3em 1em 0.2em 1em; padding: .1em .5em .1em .5em; font-size:small;}
h5 { text-align: left; border-left: #a8acff 40px solid; color: black; margin: 0.3em 1em 0.2em 1em; padding: .1em .5em .1em .5em; font-size:small;}

strong { margin: 0 0.2em 0 0.2em; font-weight:bold; color:red;}
em { margin: 0 0.2em 0 0.2em; font-weight:bold;}
span.green { color:green;}
span.blue { color:blue;}
span.red { color:red;}

.date { font-family: monospace;}
.dt { margin-top: 0.5em; margin-bottom: 0em; margin-left: 1em; font-weight:bold; line-height: 120%;}
.dd { margin-top: 0.3em; margin-bottom: 0em; margin-left: 3em; font-weight:normal; line-height: 120%;}
.img { margin: 0.5em;  float:left;}

table { background: white; border-collapse: collapse; border: 1px solid #bbf; border-width: 1; margin-top: 1em; margin-bottom: 1em; margin-left: 3em;}
th { margin: 1px; padding: 5px; background: #ddf; border: 1px solid #bbf;}
td { margin: 1px; padding: 5px; background: white; border: 1px solid #bbf;}

.small table { background: white; border-collapse: collapse; border: 1px solid #888; border-width: 1; margin-top: 1em; margin-bottom: 1em; margin-left: 3em;}
.small th { margin: 1px; padding: 1px; font-weight:normal; font-size:x-small; border: 1px solid #888; background: #ddddff;}
.small td { margin: 1px; padding: 1px; font-weight:normal; font-size:small; border: 1px solid #bbb; background: #ffeeff;}

pre.verbatim-hard { border-top: #cccccc 1px solid; border-left:  #cccccc 1px solid; border-bottom: #999999 2px solid; border-right: #999999 2px solid; padding: 1em 1em 1em 1em; margin-left: 3em; margin-right: 3em; background-color: white;}
pre.verbatim-soft { border: #cccccc 1px solid; padding: 1em 1em 1em 1em; margin-left: 3em; margin-right: 3em; background-color: white; font-size: small;}
pre.verbatim-code { background-color: white; color: black; border: #999999 1px solid; padding: 0.3em 1em 0.3em 1em; margin-left: 3em; margin-right: 3em; font-size: small;}
pre.verbatim-screen { background-color: black; color: white; border: gray 1px solid; padding: 0.3em 1em 0.3em 1em; margin-left: 5em; margin-right: 5em; font-size: small;}

div#header { clear: both; font-size: small;}
div#header table { float: right; margin: 3px; padding: 0px; border: none; background-color:transparent;}
div#header table td { margin: 1px; padding: 2px; border: none; background-color:transparent;}
div#header table td.num { margin: 2px; padding: 2px; color: white; background-color: #2B2BB2; font-weight:bold; font-size:larger; border: none;}

div#main { float: left; width: 76%; margin: 5px; margin-right: 0px; padding: 0.1em 0.3em 0.3em 0.3em; background-color: #f8f8ff; font-size:small; border-top: solid 1px #bbbbbb; border-left: solid 1px  #bbbbbb; border-bottom: solid 2px #999999; border-right: solid 2px #999999;}
div#main h2 { margin: 5px; margin-bottom: 1em; text-align: left; background: #f8f8ff; color: #555555; text-align: left; border: none; border-bottom: #aaaaaa 1px solid; border-left: #0000ff 10px solid; padding: .1em .5em .1em .5em;}
div#main p { margin: 0.5em 2em 1.0em 1.0em; line-height: 140%;}
div#main ol, ul, dl { margin: 0 2em 0.2em 0 1em; line-height: 120%;}
div#main p em { margin: 0 0.2em 0 0.2em; font-style:normal; font-weight:bold;}
div#main table th, table td { font-size:small;}

div.topic { float: left; width: 76%; margin: 5px; margin-right: 0px; padding: 0.1em 0.3em 0.3em 0.3em; background-color: #f8f8ff; font-size:small; border-top: solid 1px #bbbbbb; border-left: solid 1px  #bbbbbb; border-bottom: solid 2px #999999; border-right: solid 2px #999999;}
div.topi h2 { margin: 5px; margin-bottom: 1em; text-align: left; background: #f8f8ff; color: #555555; text-align: left; border: none; border-bottom: #aaaaaa 1px solid; border-left: #0000ff 10px solid; padding: .1em .5em .1em .5em;}
div.topic p { margin: 0.5em 2em 1.0em 1.0em; line-height: 140%;}
div.topic ol, ul, dl { margin: 0 2em 0.2em 0 1em; line-height: 120%;}
div.topic p em { margin: 0 0.2em 0 0.2em; font-style:normal; font-weight:bold;}
div.topic table th, table td { font-size:small;}

div#rightside { float:right; width: 20%; margin: 5px; font-size:small;}
div.right { float:right; margin: 5px;}

div#toc { margin: 0px; margin-bottom: 8px; padding: 5px; background-color: #f8f8ff; font-size:small; border-top: solid 1px #bbbbbb; border-left: solid 1px  #bbbbbb; border-bottom: solid 2px #999999; border-right: solid 2px #999999;}
div#toc h2 { margin: 5px; font-size:small; text-align: left; background: #f8f8ff; color: #555555; text-align: left; border: none; border-bottom: #aaaaaa 1px solid; padding: .1em .5em .1em .5em;}
div#toc ul { padding: 0px 0px 5px 0px; margin-left: 5px; margin-bottom: 5px;}
div#toc ul li { list-style-type: none; line-height: 140%;}

div#nav { margin-top: 0px; margin-bottom: 8px; padding: 5px; background-color: #f8f8ff; font-size:small; border-top: solid 1px #bbbbbb; border-left: solid 1px  #bbbbbb; border-bottom: solid 2px #999999; border-right: solid 2px #999999;}
div#nav h2 { margin: 5px; text-align: left; font-size:small; background: #f8f8ff; color: #555555; text-align: left; border: none; border-bottom: #aaaaaa 1px solid; padding: .1em .5em .1em .5em;}
div#nav ul { padding: 0px 0px 5px 0px; margin-left: 5px; margin-bottom: 5px;}
div#nav ul li { list-style-type: none; line-height: 140%;}
div#nav p { margin: 0.5em; line-height: 140%;}

div.clear { clear: both;}

div#ad { align: center; margin-top: 0px; margin-bottom: 8px; padding: 5px; background-color: #f8f8ff; font-size:small; border-top: solid 1px #bbbbbb; border-left: solid 1px  #bbbbbb; border-bottom: solid 2px #999999; border-right: solid 2px #999999;}
div#ad2 { align: center; margin-top: 0px; margin-bottom: 8px; padding: 5px; background-color: #f8f8ff; font-size:small; border-top: solid 1px #bbbbbb; border-left: solid 1px  #bbbbbb; border-bottom: solid 2px #999999; border-right: solid 2px #999999;}
div#ad2 img { margin: 0.1em;  margin-left: 0.1em;}
div#footer { clear: both; font-size:small; margin: 7px; padding: 0.1em 0.3em 0.3em 0.3em; background-color: #f8f8ff; border-top: solid 1px #bbbbbb; border-left: solid 1px  #bbbbbb; border-bottom: solid 2px #999999; border-right: solid 2px #999999;}

@media print {
  div#main { float: left; width: 95%; margin: 5px; margin-right: 1em; padding: 0.1em 0.3em 0.3em 0.3em; background-color: #f8f8ff; font-size:small; border-top: solid 1px #bbbbbb; border-left: solid 1px  #bbbbbb; border-bottom: solid 2px #999999; border-right: solid 2px #999999;}
  div#rightside { display : none; width: 0%;}
}