@charset "Shift_JIS";


body {
  background: #FFFFFF; color: #404040; padding: 2%;font-family:serif,"Courier New";font-weight:normal;font-size:small;
}

address { text-align:right;
}

h2 {
    border-style: solid; background:#000;color: white;
    margin: 0.5em 0em; padding: 0.5em;  line-height: 1.4;
}

h3 {
    border-style: solid; background:#FFCCCC;color: black;font-size:normal;
    margin: 0.5em 15em 0.5em 0em; padding: 0.5em;  line-height: 1.4;
}

h4 {
    border-style: solid ; background:#FFF;color: black;
    margin: 0.5em 1em; padding: 0.5em;  line-height: 1.4;font-family:serif,"Courier New";
    font-weight:normal;font-size:small; border-width: 1;
}

div {
    margin: 0em 2em 0em 2em; padding: 0.5em;  line-height: 1.4;color : #505050;
}


a:link { 
    font-weight : bold; text-decoration : underline; color : #808080;
} 
a:visited { 
    font-weight : bold; text-decoration : underline; color : #808080;
} 
a:hover, a:active { 
text-decoration : underline;
color : #9685ba;
} 


p, pre, code {
  font-size: 1em;
  font-family: "Courier New", Courier, monospace;
}

.syntax, .explanation, .example{
  margin: 0.5em 1em; padding: 0.5em;  line-height: 1.4;
}
.explanation{
  border-style: solid; border-color: olive; border-width:0.1em;
}
.example{
  border-style: solid; border-color: olive; border-width:0.1em;
}

.real{
    border-style: none; background:#E0FFA0;color: black;
    margin: 0em 0em 0em 0em; padding: 0.5em;  
}