body {
    margin-left: 1em;
    margin-right: 1em
}

h1 {
    text-align: center
}

.license {
    background-color: #e0e0e0;
    padding: 0.2em;
    margin-top: 2em;
    border: solid #c0c0c0 1px;
    clear: both
}

.license img {
    vertical-align: middle
}

.license .text {
    padding-left: 0.5em;
    vertical-align: middle
}

.license p {
    margin-top: 0;
    margin-bottom: 0.5em
}

img .left {
    float: left
}

.box {
    background-color: #f0f0f0;
    border: solid #e0e0e0 1px;
    float: right;
    width: 20%;
    padding: 0.5em;
    margin: 0.5em
}

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

.latest {
}

.contents div {
    font-weight: bold
}

.framed {
    text-align: center
}

.framed img {
    padding: 0.25em;
    border: solid 0.4em #c0c0c0;
    margin-left: 0.25em;
    margin-right: 0.25em
}

.framed-left {
    float: left;
    margin-right: 0.5em;
    margin-top: 0;
    margin-bottom: 0.5em
}

.framed-left img {
    padding: 0.25em;
    border: solid 0.4em #c0c0c0;
    margin-left: 0.25em;
    margin-right: 0.25em
}

.framed-left video {
    padding: 0.25em;
    border: solid 0.4em #c0c0c0;
    margin-left: 0.25em;
    margin-right: 0.25em
}

.framed-right {
    float: right;
    margin-left: 0.5em;
    margin-top: 0;
    margin-bottom: 0.5em
}

.framed-right img {
    padding: 0.25em;
    border: solid 0.4em #c0c0c0;
    margin-left: 0.25em;
    margin-right: 0.25em
}

.framed-right video {
    padding: 0.25em;
    border: solid 0.4em #c0c0c0;
    margin-left: 0.25em;
    margin-right: 0.25em
}

.header {
    background-color: #e0f0ff;
    border-bottom: solid 0.2em #d0e0f0;
    margin-bottom: 2em;
    padding-left: 1em;
    padding-right: 1em
}

.header table {
    width: 100%;
    text-align: center
}

.header .first {
    text-align: left
}

.header .last {
    text-align: right
}

.quote {
    font-style: italic
}

div.framed-left pre {
    margin: 0;
    margin-right: 0.75em
}

div.framed-right pre {
    margin: 0;
    margin-left: 0.75em
}

pre {
    background-color: #e8e8e8;
    border: solid 0.2em #c0c0c0;
    padding: 0.75em
}

pre.output {
    background-color: #080808;
    color: white;
    border: solid 0.2em #c0c0c0;
    padding: 0.5em
}

.rsslink {
    text-align: center;
    margin-top: 0.25em
}

.rsslink img {
    padding-right: 0.5em;
    vertical-align: middle
}

.caption {
    text-align: center;
    margin-top: 0;
    font-style: italic
}