BODY {
    color: #000030;
    background-color: #d0d0a0;
}

H1 {
    text-align: center;	
}

H2 {
    margin-top: 0;
    text-indent: 2%;
    color: #FFFFFF;
    background-color: #600040;
}

H3 {
    text-decoration: underline;
}

LI {
    margin-bottom: 0.25em;
}

DIV.naviBlock {
   float: left;
   width: 25%;
   border: none;
}
DIV.naviBlock UL {
    margin-top: 0;
    margin-left: 0;
    margin-bottom: 1em;
    padding-left: 1em;
}
DIV.naviBlock UL LI {
    margin-bottom: 0;
}
DIV.naviBlock DL {
    margin: 0;
    padding: 0;
}
DIV.naviBlock DT {
    margin: 0;
    padding: 0;
}
DIV.naviBlock DD {
    text-indent: 0;
    margin: 0 0 0 1em;
}

DIV.mainBlock {
   width: 72%;
   float: right;
   margin-right: 2%;
   margin-left: 1%;
   border: none;
}

DIV.contentTitle {
    color: #FFFFFF;
    background-color: #400040;
    border-style: solid;
    border-width: thin;
    border-color: #400040;
}

EM.importantNotice {
    font-weight: bold;
    font-style: italic;
    font-size: large;
}

EM.Note {
    font-weight: bold;
}

STRONG.rssh {
    font-family: monospace;
    font-weight: bold;
}

.header {
    text-align: right;
}

HR.footer {
    clear: both;
}

P.footer {
    font-size: small;
}

P {
    line-height: 120%;
}

DT {
    font-family: monospace;
    font-weight: bold;
    margin-left: 2em;
}

DD {
    margin-left: 2em;
    margin-bottom: 1.5ex;
    text-indent: 2em;
}

/* for sdoc */
table.languages {
  margin-bottom: 0pt;
  margin-top: 0pt;
  font-size: x-small;
}
table.languages td.current {
}
table.languages td.other {
  background-color: Orange;
}
div.languages {
  text-align: right;
}

div.author {
  text-align: center;
  font-weight: bold;
}

div.summary {
  color: maroon;
  background: darkkhaki;
  border-style: inset;
  border-color: khaki;
  margin-top: 20pt;
  margin-bottom: 20pt;
  margin-left: 30pt;
  margin-right: 30pt;
  padding: 5pt;
}

P.fitst_ja {
    margin-bottom: 1em;
    text-indent: 1em;
}

P.fitst_en {
    margin-bottom: 1em;
    text-indent: 0em;
}

p ja {
  text-indent: 1em;
}

pre.console {
  background-color: black;
  color: white;
  font-family: courier, monospace;
  padding: 5pt;
}

pre.console kbd {
  font-family: courier, monospace;
  color: yellow;
}

p.date_of_sec {
  margin-bottom: 0;
}

pre.program {
  background-color: gainsboro;
  font-family: courier, monospace;
  padding: 5pt;
  margin-right: 30pt;
}

pre.program em {
  color: red;
  font-style: normal;
}

pre.program strong {
  color: red;
  background-color: yellow;
  font-style: normal;
}

pre.program span.keyword {
  color: Blue;
  font-style: normal;
}