@charset "UTF-8";

body {
    font-family: "ＭＳ Ｐゴシック", Osaka;
    margin: 5% 20% 10% 10%;
}

/*
#index {
    border: 1px solid #CCCCFF;
    padding: 0.5em;
}
*/

.menu {
    /*background-color: #FFCCFF;*/
    padding: 1ex;
    color: #000099;
    font-weight: bold;
    /*border-bottom: solid 2px #000099;*/
}

a:link, a:visited, a:active {
    color: #000099;
    /* text-decoration: none; */
}

.menu a:link, .menu a:visited, .menu a:active {
    color: #000099;
    /* text-decoration: none; */
}

#index li {
    list-style: disc;
    color: #663300;
}

.item a:link, .item a:visited, .item a:active {
    color: #996600;
    /* text-decoration: none; */
}

#index a:link, #index a:visited, #index a:active {
    color: #996600;
    text-decoration: none;
}

h1:before {
    content: "◆ ";
    margin-right: 1ex;
    font-size: 1ex;
    color: #3366CC;
    vertical-align: middle;
}

h2, h3, h4, h5, h6 {
    /* font-family: "ＭＳ ゴシック", "Osaka－等幅"; */
    font-size: 1em;
    margin-left: 2ex;
}

p {
    margin-left: 2em;
    text-indent: 1em;
    line-height: 130%;
}

dl {
    margin-left: 2ex;
}

dd p {
    margin-left: 0em;
}

p strong {
    color: #CC3333;
}

h2, dt {
    color: #3399CC;
}

h1 {
    border-bottom-width: 5px;
    border-bottom-style: solid;
    border-bottom-color: #3366CC;
    /*margin-right: 25%;*/
    padding-bottom: 0.5ex;
    padding-left: 0.5ex;
}

h2 {
}

code {
    color: #0000CC;
    margin-left: 0.5ex;
    margin-right: 0.5ex;
    font-weight: bold;
    font-family: "ＭＳ ゴシック", "Osaka－等幅";
}

.item code {
    margin: 0px;
}

pre {
    color: #0000CC;
    font-weight: bold;
    border: 1px solid #66CC66;
    padding: 1em;
    padding-left: 3em;
    white-space: pre;
    border-left-width: 15px;
    margin-left: 2em;
    /*margin-right: 25%;*/
    font-family: "ＭＳ ゴシック", "Osaka－等幅";
}

address, em, dt {
    font-style: normal;
    font-weight: bold;
}

.highlightfunction {
    color: #6633CC;
}

.highlightnormal {
    color: #0000CC;
}

.highlightstring {
    color: #FF0033;
}

.highlightkeyword {
    color: #3300CC;
}

.highlightcomment {
    color: #33CC00;
}

.highlightoperator {
    color: #CC6600;
}

.highlightdatatype {
    color: #0099CC;
}

.highlightdecimal {
    color: #0000CC;
}

.highlightfloat {
    color: #0000CC;
}

.highlightvariable {
    color: #0000FF;
}