@import url(content-formal.css);
@import url(calendar.css);
@import url(local.css);
@import url(menu-icon.css);
@import url(link-icon.css);
@import url(content-floats.css);
@import url(referrer-tracking.css);
/*@import url(abstract.css);*/
@import url(languages.css);
@import url(sidebar.css);
@import url(special-days.css);
@import url(purple.css);
@import url(discussion.css);
@import url(smilies.css);
@import url(diff.css);
/*@import url(vertical-summary.css);*/

html { margin: 0; padding: 0; background: #fff;
    font-size: 10pt;
    color: #222;
    font-family: "DejaVu Sans", Verdana, sans-serif;
}
body { margin: 0; padding: 0; }

/* Fix some of the oddmuse's weirdness */
.header br, .footer br, .header hr, .footer hr, .refer hr, .refer br, .rc hr, .rc br { display: none; }
.header p, .footer p { margin: 0; }
form.search { margin: 0; }
span.bar, span.time { display: block; }
a img { border: none; }

.header, .footer, .footer br, .footer span, .footer p, .header p { clear: both; }
.header h1 { clear: left; } /* Hack to allow to move the logo */


/* The footer */
.footer a { color: #3465a4; text-decoration: none; }
.footer a:hover { text-decoration: underline; color: #000; }
.footer .time { text-align: right; font-style: italic; background: #9db9db; color: #222; border-top: 1px solid #3465a4; border-bottom: 1px solid #3465a4; padding: 6pt; margin: 6pt 0; }


/* Messages. */
.header p { position: absolute; border: 1px solid #c4a000; padding: 6pt; color: #8f5902; top: 28px; margin-top: 2.6em; left: 6pt; background: #fce94f; z-index: 1000; }

/* The edit screen */
.content.edit { width: auto; background: transparent; margin: 0 6pt; padding: 0; background-color: #fff;}
form.comment, form.edit { margin: 0; padding: 0; }
form.comment, form.edit p { margin: 6pt 0; }
form.comment textarea, form.edit textarea { border: 1px solid #666; padding: 0.125em; background: #fafafa; color: #222; width: 94%; margin: 0 auto; display: block; font-family: "DejaVu Sans Mono", "Lucida Console", monospace; font-size: 12pt; }
form.comment textarea { height: 6em; }

.content.edit .preview { background: #fff; padding: 48pt; width: 40em; margin: 1em; border: 1px dashed #666; }

/* The menus */
.bar a { display: block; float: left; color: #444; text-decoration: none; font-size: 10pt; font-family: "DejaVu Sans", Verdana, sans-serif; margin: 3px; }
.bar.edit a { float: right; }
.bar.edit { clear: none; }
.bar a:hover { border: 1px dashed #3465a4; margin: 2px; color: #000; text-decoration: underline; background-color: #c7d8ec; }

/* Move the search box */
form.search { position: absolute; top: 26px; margin-top: 6pt; right: 6pt; font-size: 10pt; }
form.search label { /*display: none;*/ color: #3465a4; }

.search .info { color: #666; font-size: 10pt; font-style: italic; }
.search .result a.local { font-weight: bold; }
.search strong { background: #eee; color: #000; }


/* Page title */
.header h1 { font-size: 14pt; background: #9db9db; color: #3465a4; border-top: 1px solid #3465a4; border-bottom: 1px solid #3465a4; padding: 6pt; margin: 6pt 0; }
.header h1 a { color: #115; text-decoration: none; }
.header h1 a:hover { color: #000; text-decoration: underline; }

/* The logo */
a.logo { display: block; float: right; margin: 1em; margin-top: 40px; padding-top: 2.6em; }

/* Recent changes */
div.rc {
    font-size: 12pt;
}
div.rc a { text-decoration: none; border-bottom: 1px solid #666; color: #3465a4; }
div.rc a.edit { font-weight: bold; color: #b30; }
div.rc a:visited { border-bottom-style: dashed; }
div.rc a:hover { background-color: #eee; color: #000; }
div.rc li strong { display: block; width: 50em; font-weight: normal; background: #f5f5f5; color: #444; font-size: 10pt; padding: 2px; border: 1px solid #999; }
div.rc br { display: inline; }

div.rc ul { padding: 0; margin: 0; list-style: none; }
div.rc li { margin: 6pt 12pt; border-left: 8px solid #eee; padding: 0 6pt; }

/*** XXX Hacks XXX ***/

/* no tiny search box */
.header .tiny {
    display: none;
}