/* default.css : Default StyleSheet */

body {
    font-size: medium;
    color: #404040;
    background: #e8f0ec;
    margin: 0px;
}

body > * {
    margin-left: 30px;
    margin-right: 30px;
}

a:link {
    color: #28a000;
    background: transparent;
}

a:visited {
    color: #006000;
    background: transparent;
}

a:hover {
    background: #b8d8a0;
}

:lang(ja) > p {
    margin-top: 0px;
    margin-bottom: 0px;
    text-indent: 1em;
}

p.continue {
    text-indent: 0em;
}

img {
    vertical-align: middle;
}

hr {
    display: none;
}

th {
    color: white;
    background: #006000;
}

thead th {
    text-align: center;
}

td {
    background: #d0ffd0;
}

tr.highlight td, td.highlight {
    color: black;
    background: #d7ff00;
}

col.number {
    text-align: right;
}

div.figure {
    text-align: center;
}

div.figure table {
    margin-left: auto;
    margin-right: auto;
}

body > div.credit {
    margin-right: 10px;
}

div.credit {
    text-align: right;
}

div.header {
    margin: 0px;
    border-width: 0px 0px thin 0px;
}

div.footer {
    margin: 5px 0px 0px 0px;
    border-width: thin 0px 0px 0px;
}

body > div.note {
    margin-left: 30px;
    margin-right: 30px;
}

div.note {
    font-size: small;
    margin: 5px 0px;
    border-width: thin;
    padding: 2px 5px;
}

div.header, div.footer {
    min-height: 17px;
}

div.header, div.footer, div.note {
    background: #d0ffd0;
    border-style: solid;
    border-color: #006000;
}

.update {
    font-size: small;
    color: #006000;
    background: transparent;
}

div.header > div.update, div.footer > div.update, body > address, div.footer > address {
    margin-left: 10px;
    margin-right: 10px;
    width: 100% - 20px;
}

address {
    font-size: large;
}

div.footer > div.pgp {
    margin-left: 10px;
    margin-right: 10px;
}

div.navigate {
    margin-right: 10px;
    float: right;
}

h1 {
    font-size: x-large;
    font-weight: bold;
    text-align: center;
    color: #004000;
    background: #d0ffd0;
    margin: 15px 10px 10px 10px;
    border-width: thin 15px;
    border-style: solid;
    border-color: #006000;
    padding: 5px;
}

:lang(ja) > h2:before {
    content: "\25a0";
}

h2 {
    font-size: large;
    font-weight: bold;
    color: #004000;
    background: #d0ffd0;
    margin: 15px 20px 5px 20px;
    border-width: 0px 0px medium 0px;
    border-style: solid;
    border-color: #006000;
    padding: 3px 25px;
}

h3:before {
    content: url(/jado/icon/caution-s.gif);
}

div.note > h3 {
    margin: -2px -5px 2px -5px;
}

h3 {
    font-size: medium;
    font-weight: bold;
    color: #004000;
    background: #a0c0a0;
    margin: 2px 30px 2px 30px;
    border-width: 0px 150px thin 0px;
    border-style: solid;
    border-color: #006000;
    padding: 2px 25px;
}

ul, ol, dl {
    margin-top: 3px;
    margin-bottom: 5px;
}

ul > li {
    list-style-image: url(/jado/icon/ball_green.gif);
}

ul ul > li {
    list-style-image: url(/jado/icon/ball_blue.gif);
}

ul.link > li, li.link {
    list-style-type: square;
    list-style-image: url(/jado/icon/hpoint_right.gif);
}

ol > li {
    list-style-image: none;
}

dl.compact > dt {
    float: left;
    width: 4em;
}

dl.compact > dd {
    margin-left: 4em;
}

body > div.content {
    margin-left: 50px;
    margin-right: 30px;
}

div.content {
    margin: 5px 0px 5px 20px;
}

body > pre, body > blockquote {
    margin-left: 50px;
    margin-right: 50px;
}

pre, blockquote {
    color: #004000;
    background: #d0ffd0;
    margin: 5px 20px;
    padding: 2px 5px;
    border-width: thin;
    border-style: dotted;
    border-color: #006000;
}

div.note > pre, blockquote > pre {
    margin: 0px;
    padding: 0px;
    border: none;
}

/* Like the "256 Books" :-) */

div.cry {
    text-align: center;
}

/* Weight expressed by color */

strike, .ignore {
    color: gray;
    background: transparent;
}

strong {
    font-weight: normal;
    font-style: normal;
    color: blue;
    background: transparent;
}

.extreme {
    color: red;
    background: transparent;
}

/* for Calendar */

.sat {
    color: blue;
    background: transparent;
}

.sun {
    color: red;
    background: transparent;
}

/* Hidden area; scratch to view */

.hidden {
    color: black;
    background: black;
}