html { background: #fff url(grad.png) repeat-x 0 0; color: #2e3436; height: 100%;
font-family: Droid Sans, DejaVu Sans, sans-serif; font-size: 96% }
body { 
line-height: 1.25;background: url(background.png) 100% 100% no-repeat fixed;
min-height: 100%;
margin: 0;
 padding: 1px 0;
}
* html body { height: 100% }
div#hatta-content, div#hatta-header, div#hatta-footer {
margin: 1em auto;
 width: 40em; 
}

a { color: #3475c4; text-decoration: none }
a.wiki:visited { color: #204a87 }
a.nonexistent, a.nonexistent:visited { color: #a40000; }
a.external { color: #3465a4; text-decoration: underline }
a.external:visited { color: #204a87 }
a:hover, a.wiki:hover, a.external:hover {
text-decoration: underline; color: #000 }
a img { border: none }
img.smiley { vertical-align: middle }
pre { font-size: 100%; white-space: pre-wrap; word-wrap: break-word; 
white-space: -moz-pre-wrap; white-space: -pre-wrap; white-space: -o-pre-wrap;
line-height: 1.2; color: #555753; font-family: Droid Sans Mono, DejaVu Sans Mono, Lucida Console, Lucida Typewriter, monospace }
pre.diff div.orig { font-size: 75%; color: #babdb6 }
b.highlight, pre.diff ins { font-weight: bold; background: #fcaf3e; color: #ce5c00; 
text-decoration: none }
pre.diff del { background: #eeeeec; color: #888a85; text-decoration: none }
pre.diff div.change { border-left: 2px solid #fcaf3e }
div#hatta-footer { border-top: solid 1px #babdb6; text-align: right; clear: both }
h1, h2, h3, h4, h5 { color: #555753; font-weight: normal; letter-spacing: 0.125em}
div.buttons { text-align: center }
input.button, div.buttons input { font-weight: bold; font-size: 100%;
background: #eee; border: solid 1px #babdb6; margin: 0.25em; color: #888a85; vertical-align: middle}
.history input.button { font-size: 75% }
.editor textarea { width: 100%; display: block; font-size: 100%; 
border: solid 1px #babdb6; font-family: Droid Sans Mono, DejaVu Sans Mono, Lucida Console, Lucida Typewriter, monospace; line-height: 1.1 }
.editor label { display:block; text-align: right }
form#hatta-search input#hatta-search-q, .editor label input { font-size: 100%; 
border: solid 1px #babdb6; margin: 0.125em 0; vertical-align: middle }
.editor label.comment input  { width: 32em }
a#hatta-logo { float: left; display: block; margin: 0.25em }
div#hatta-header h1 { margin: 0 0 1em 0; color: #777 }
div#hatta-content { clear: left }
form#hatta-search { margin:0; text-align: right; font-size: 80% }
div.snippet { font-size: 80%; color: #888a85 }
div#hatta-header div#hatta-menu { float: right; margin-top: 1.5em }
div#hatta-header div#hatta-menu a.current { color: #000 }
hr { background: transparent; border:none; height: 0; border-bottom: 1px solid #babdb6; clear: both }
i img { float: right; margin-left: 0.25em }
b img { float: left; margin-right: 0.25em }
table { margin: 1em auto; border-collapse: collapse; }
table td, table th { border: 1px solid #999; padding: 0.125em 0.25em; line-height: 1.22 }
div.highlight { border: 1px solid #ccc }
blockquote { border-left: 0.25em solid #ccc; padding-left:.5em; margin-left:0}
abbr.date { border: none }
a.hatta-purple {
    visibility: hidden;
    vertical-align: middle;
    font-size: 75%;
    font-weight: bold;
    color: #888a85;
}
h1:hover a.hatta-purple,
h2:hover a.hatta-purple,
h3:hover a.hatta-purple,
h4:hover a.hatta-purple,
h5:hover a.hatta-purple,
h6:hover a.hatta-purple {
    visibility: visible;
}