body { background-color:#FFF; color:#000; font-family: verdana; }
a:link { color:#F00; }
a:active { color:#FF0; }
a.definition:before { content:"[::"; }
a.definition:after { content:"]"; }
a.alias { text-decoration:none; border-bottom: thin dashed; }
a.near:link { color:#093; }
a.near:visited { color:#550; }
a.upload:before { content:"<"; }
a.upload:after { content:">"; }
img.upload { border-width: 0; }
img.logo { float: right; clear: right; border-style:none; }
div.diff { padding-left:5%; padding-right:5%; }
div.old { background-color:#FFFFAF; }
div.new { background-color:#CFFFCF; }
div.refer { padding-left:5%; padding-right:5%; font-size:smaller; }
div.message { background-color:#FEE; }
div.journal h1 { font-size:large; }
table.history { border-style:none; }
td.history { border-style:none; }
table.user { border-style:solid; border-width:thin; }
table.user tr td { border-style:solid; border-width:thin; padding:5px; text-align:center; }
span.result { font-size:larger; }
span.info { font-size:smaller; font-style:italic; }
div.rss { background-color:#EEF; }
div.sister { float:left; margin-right:1ex; background-color:#FFF; }
div.sister p { margin-top:0; }
div.sister img { border:none; }
div.near { background-color:#EFE; }
div.near p { margin-top:0; }

div.content img.url {
        float: left;
        margin-right: 10px;
}
div.content p { clear: both }
div.footer { clear: both }

a {
    text-decoration:none;
    font-weight:bold;
    color:#c00;
}

a:visited { color:#c55; }

ul li { list-style-image: url("ball-yellow.gif"); margin-left: 10px; }
li ul li { list-style-image: url("ball-green.gif") }
li ul li ul li { list-style-image: url("ball-red.gif") }
li ul li ul li ul li { list-style-image: url("ball-golden.gif") }
li ul li ul li ul li ul li { list-style-image: url("ball-purple.gif") }

h1, h2, h3, h4,
h1 a, h2 a, h3 a, h4 a,
h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited { color:#666; }
h1 { font-size:x-large; margin:2ex 0 1ex 0; padding:0; }       
h2, h3, h4 { font-size:medium; margin:4ex 0 1ex 0; padding:0; }
h1, h2 { border-bottom: 2px solid #000; }
h3 { border-bottom: 1px dashed #000; }

div.header h1 {
    font-size:xx-large; margin-top:1ex;
    border-bottom: 5px solid #000;
}

div.header h1 a {
    text-decoration:none;
    font-weight:bold;
    color:#888
}

div.journal h1 {
    border-bottom: none;
}

hr {
    border:none;
    color:black;
    background-color:#000;
    height:2px; 
    margin-top:2ex;
}

pre {
    border: #777777 1px solid;
    padding: 0.5em;
    margin-left: 1em;
    margin-right: 2em;
    white-space: pre;
    background-color: #e6e6e6;
    color: black;
}