* {
    font-size: 100%;
}
html {
    height:100%;
    margin-bottom:1px;
}
body {
    margin: 10px;
    padding: 10px;
    font-family: Verdana, Arial, sans-serif;
}
h1 {
    font-size: 125%;
}
dl {
    margin:0;
    padding:0;
}
dt {
    margin: 0 0 10px 0;
    padding-left: 0;
    font-weight: bold;
}
dt.c {
    margin: 10px 0;
}
dd {
    margin-left: 20px;
}
pre {
    margin: 0;
    font-size: 100%;
}
html>body pre {
    margin: 0;
    font-size: 81%;
}
a:link,
a:visited {
    color: #0000ff;
    text-decoration: none; /* for opera */
}
a:hover {
    color: #ffffff;
    background: #0000ff;
    text-decoration: none;
}
a:active {
    color: #ff0000;
}
.rule li {
    margin-bottom: 10px;
}
cite {
    margin-left: 20px;
}
#footer a:hover {
    background: #ffffff;
    text-decoration: none;
}
#view {
    margin-bottom: 20px;
    padding:10px;
    border:1px solid #000;
}
#footer {
    text-align: right;
}
#transitional,
#strict,
#x11 {
    display: none;
}
.contents {
    display: none;
}
.ajax-entry-more-link a,
.ajax-entry-more-link a:link,
.ajax-entry-more-link a:visited {
    font-weight: normal;
    color: #0000ff;
    background: #ffffff;
}
.ajax-entry-more-link a:hover {
    text-decoration: underline;
}
.notes {
    margin: 0 0 10px;
    font-size: 20px;
}
.history {
    margin: 20px 0 10px;
    padding: 10px 0;
    border: 1px solid #000000;
}