body {
    font-family: meiryo, sans-serif;
}
header {
    font-weight: bold;
    font-size: 180%;
    padding: 12px;
    color: white;
    background-color: #cf6868;
    clear: left;
    text-align: center;
}
article {
    font-size: 100%;
    color: black;
}
footer {
    font-weight: bold;
    font-size: 125%;
    margin-top: 12px;
    padding: 12px;
    color: white;
    background-color: #cf6868;
    clear: left;
    text-align: center;
}
hr {
    border-color:  #cf6868;
}
div.chapHeader {
    padding-top: 12px;
    padding-left: 12px;
    padding-bottom: 6px;
    font-weight: bold;
    font-size: 150%;
}
div.secHeader {
    padding-left: 12px;
    font-weight: bold;
    font-size: 125%;
}
div.image {
    text-align: center;
    padding: 12px;
}
div.center {
    text-align: center;
}
div.prog {
    margin: 12px;
    border: 1px solid #aaaaaa;
}
.prog pre {
    margin: 12px 16px 12px 16px;
    font-family: monospace;
    font-size: 120%;
}
iframe {
    margin-top: 6px;
    margin-bottom: 6px;
    margin-left: 5%;
    width: 90%;
}
p {
    margin: 12px;
}
pre {
    margin: 12px 16px 12px 16px;
    font-family: monospace;
    font-size: 100%;
}
ul {
    margin-top: 4px;
    margin-left: 4px;
}
hr {
    color: #cf6868;
    clear: both;
}
td {
    padding-left: 6px;
    padding-right: 6px;
    text-align: center;
}
.blue {
    color: #0000ff;
}
.red {
    color: #ff0000;
}
.input {
    font-size: 100%;
    width: 50px;
    text-align: right;
    background-color: #ffffcc;
}
.select {
    font-size: 100%;
    text-align: right;
    background-color: #ffffcc;
}
.button {
    font-size: 100%;
    background-color: #ccccff;
    padding: 0px 16px 0px 16px;
}
.hidden {
    display: none;
}
.border {
    border: solid 1px #aaaaaa;
}