html{
	background-color: #ffffff;
}
body {
	color: #333333;
	font-family: 'Segoe UI', 'Proxima Nova', 'Helvetica Neue', 'Helvetica', Arial, sans-serif;
	font-size: 1em;
	line-height: 1.4em;
}

.skipNav {
	position:relative;
	left:-1000em;
	font-size:0em;
}

#Container {
	margin:0 10px;
	text-align:center;
}

#Content {
	border-top:none;
	margin:auto;
	padding:0.3em;
	text-align:left;
	width:960px;
}

h1#pageName,
div.info,
.newWikiWord a,
a.existingWikiWord,
.newWikiWord a:hover,
[actiontype="toggle"]:hover,
#TextileHelp h3 { 
	color: #2f6da1; 
}
a:visited.existingWikiWord {
	color: #005c19;
}

a:visited {
	color:#666;
}

h1, h2, h3, h4, h5, h6,
h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
	color: #333 !important;
	letter-spacing: -1px;
}

h1 {
	font-size:200%;
}

h2 {
	font-size:150%;
}

h3 {
	font-size:125%;
}

h4 {
	font-size:120%;
}

h5,h6 {
	font-size:110%
}

h1#pageName {
	line-height:1em;
	margin:0.2em 0 0.2em 0;
	padding:0;
}

#logo {
	float:left;
	margin:.5em .25em 0 -.625em;
}

a.nav,a:link.nav, a:visited.nav {
	background-color:#FFF;
	color:#000;
}

table {
	border:solid 1px #000;
	border-collapse:collapse;
}

td {
	border:1px solid #888;
}

li {
	margin-bottom:0.5em;
}

.newWikiWord {
	background-color:#DDD;
}

.newWikiWord a:hover {
	background-color:#FFF;
}

.deleteWikiWord {
	background-color:#FCC;
	border: 3px solid blue;
	padding: 2px;
}

.deleteWikiWord:hover, .deleteWikiWord a:hover {
	background-color:#F88;
}


form#navigationSearchForm {
	display:inline;
}

form#navigationSearchForm input {
	font-size:80%;
}

.navigation {
	color:#555;
	font-size:90%;
	margin-top:0.3em;
}

.navigation a:hover {
	background-color:#ffffff;
	color:#2F6DA1;
	text-decoration:none;
}

.navigation a {
	color:#000;
	font-weight:bold;
}

.navigation small a {
	font-size:90%;
	font-weight:normal;
}

.navOn {
	color:#444;
	font-weight:bold;
	text-decoration:none;
}

div.help {
	font-family:verdana, arial, helvetica, sans-serif;
	font-size:75%;
}

div.inputBox {
	background-color:#EEE;
	font-family:verdana, arial, helvetica, sans-serif;
	font-size:80%;
	margin-bottom:1.5em;
	padding:0.3em;
}

blockquote {
	display:block;
	font-size:90%;
	font-style:italic;
	line-height:1.5em;
	margin:0 0 1.5em;
	padding:0 2.5em;
}

pre {
	background-color:#DDD;
	font-size:12px;
	overflow:auto;
	padding:1em;
	border-radius: 4px;
	-webkit-border-radius: 4px;
	-moz-border-radius: 4px;
}

ol.setup {
	font-family:georgia, verdana, sans-serif;
	font-size:110%;
	margin-top:1em;
	padding-left:1.5em;
}

.byline {
	color:#666;
	font-size:.8em;
	font-style:italic;
	margin-bottom:1em;
	padding-top:1px;
}

p.show_diff {
	background: #eee;
	padding: 3px;
	border: 1px solid silver;
	font-size:.85em;
}

span.webName {
	font-size:.5em;
}

span.views, span.linked {
	font-size:.85em;
}
.views a, .linked a {
	font-weight: normal
}
span.revisions {
	font-size:.95em
}

#allPages, #wantedPages {
	float: left;
	width: 280px;
}
#allPages {
	margin-right: 30px;
}
#allPages h2, #wantedPages h2 {
	font-size: 1.2em;
} 

.pageType {
	font-size: .75em;
	font-style: italic;
}

p.pageStats, span.unlock {
	font-size: .85em;
}

.diffdel,del.diffmod, .diffdel *, del.diffmod * {
	background-color:#FAA;
	text-decoration:line-through;
}

.diffins,ins.diffmod, .diffins *, ins.diffmod * {
	background-color:#AFA;
	text-decoration:underline;
}

.diffmod, .diffmod * {
	border: 2px solid #FE0;
}

#footer {
	color:#666;
	font-size:.75em;
	font-style:italic;
	line-height:1.2em;
	padding-top:2em;
	text-align:right;
}

#footer a:link,#footer a:visited {
	color:#777;
	font-style:italic;
}
#footer a:hover {
	color:#abc;
}

div.web_normal {
	padding:4px;
}

div.web_protected {
	padding:4px;
	background-color:#DDD;
}

div.inputFieldWithPrompt {
	margin:0.75em 0;
}

div.errorExplanation {
	background-color:#FFA;
	color:#900;
	font-style:italic;
	font-weight:bold;
	margin:1.5em 0;
	padding:1em;
	width:100%;
}

div.errorExplanation h2 {
	display:none;
}

div.errorExplanation ul {
	border:none;
	margin:0.5em 0 0 2em;
	padding:0;
}

div.fieldWithErrors input {
	border:1px solid #900;
}

div.info {
	background-color:#DDD;
	font-weight:bold;
	margin-top:0.5em;
	padding:0.5em;
	width:100%;
}

div#editFormButtons {
	margin:0.5em 0 0;
}

div#editFormButtons span {
	white-space:nowrap;
}

div#MarkupHelp {
	float:right;
	margin-top:0.5em;
	width:25%;
}

div#MarkupHelp table {
	border-bottom:3px solid #BBB;
	border-left:3px solid #999;
	border-right:3px solid #BBB;
	border-top:3px solid #999;
	margin-bottom:0;
}

div#MarkupHelp td {
	border:1px solid #999;
	border-width:1px 0;
	font-size:80%;
	margin:0;
	padding:0.2em;
	vertical-align:top;
	white-space:nowrap;
}

div#MarkupHelp td.arrow {
	color:#666;
	padding:0 0.75em 0 0;
}

div#MarkupHelp h3 {
	font-size:90%;
	font-weight:bold;
	margin:0 0 5px;
	padding:5px 0 0;
}

div#MarkupHelp p {
	font-size:70%;
}

div.rightHandSide {
	float: right;
	font-size: 12px;
	line-height: 12px;
	margin-left: 8px;
	padding-left: 16px;
	width: 240px;
}
.rightHandSide ul {
	padding-left: 16px;
}

.newsList {
	margin-top:1.5em;
}

.newsList p {
	margin-bottom:2.5em;
}

.property {
	color:#666;
	font-size:80%;
}

a,li span {
	color:#000;
}

a.existingWikiWord[title]{
	border: 1px dashed #BBB;
}

.web_protected a.existingWikiWord[title],
.web_normal a.existingWikiWord[title] {
	border: none;
}

a:hover,
a.nav:hover,
a:hover math {
	color:#defbff;
}

a:hover.existingWikiWord,
a:visited:hover.existingWikiWord {
	background-color:#defbff;
	color:#333;
}
a:hover.existingWikiWord[title] {
	background-color:#707;
	color:#FFF;
}
.web_protected a:hover.existingWikiWord[title],
.web_normal a:hover.existingWikiWord[title] {
	background-color:#000;
	color:#FFF;
}

div.errorExplanation p,
div.errorExplanation li {
	border:none;
	margin:0;
	padding:0;
}

merror {display:inline;font-size:1em;}
math[display=block] {overflow:auto;}
math { white-space: nowrap }
.maruku-eq-number {float:right}
.maruku-equation {text-align:center}
.blockquotesource {margin-left:1em;}
fieldset.search {display:inline; border:none;padding:0;margin:0;top:5px;position:relative;}
span.keyboard {
	background: #CCC;
	color: #000;
	border: outset 2px;
	font-family:verdana, arial, sans-serif;
	font-size: .7em;
	margin-left:5px;
	padding:1px 2px;
}
.centeredfigure {
	position:relative;
	margin:auto;
	text-align:center;
}

body {counter-reset: theorem lemma proposition corollary definition example remark note}
.un_theorem *, .num_theorem *,
.un_lemma *, .num_lemma *,
.un_prop *, .num_prop *,
.un_cor *, .num_cor * {font-style: italic}
span.theorem_label {font-style:normal; font-weight:bold;}
.proof span.theorem_label {font-style:italic;}
.num_theorem .theorem_label:after {
	content: " " counter(theorem); counter-increment: theorem;}
	.num_lemma .theorem_label:after {
		content: " " counter(lemma); counter-increment: lemma;}
		.num_prop .theorem_label:after {
			content: " " counter(proposition); counter-increment: proposition;}
			.num_cor .theorem_label:after {
				content: " " counter(corollary); counter-increment: corollary;}
				.num_defn .theorem_label:after {
					content: " " counter(definition); counter-increment: definition;}
					.num_example .theorem_label:after {
						content: " " counter(example); counter-increment: example;}
						.num_remark .theorem_label:after {
							content: " " counter(remark); counter-increment: remark;}
							.num_note .theorem_label:after {
								content: " " counter(note); counter-increment: note;}

/* Hack for Mozilla bug 449396 */
[mathvariant="bold"] *  {
	font-style: normal;
	font-variant: normal;
	font-weight: bold;
}
[mathvariant="italic"] *  {
	font-style: italic;
	font-variant: normal;
	font-weight: normal;
}
[mathvariant="bold-italic"] *  {
	font-style: italic;
	font-variant: normal;
	font-weight: bold;
}
[mathvariant="sans-serif"] *  {
	font-style: normal;
	font-variant: normal;
	font-weight: normal;
}
[mathvariant="bold-sans-serif"] *  {
	font-style: normal;
	font-variant: normal;
	font-weight: bold;
}
[mathvariant="sans-serif-italic"] *  {
	font-style: italic;
	font-variant: normal;
	font-weight: normal;
}
[mathvariant="sans-serif-bold-italic"] *  {
	font-style: italic;
	font-variant: normal;
	font-weight: bold;
}
[actiontype="toggle"]:hover {text-shadow: #ccc 2px 2px 5px;}

textarea#content {
	min-height: 500px;
	height: 500px;
}
pre, code, textarea {
	color: #000000;
	font: 12px 'Bitstream Vera Sans Mono', 'Courier', monospace;
	line-height: 14px;
}

/*  */
#revision table {
	font-size: 0.8em;
	line-height: 1.6em;
	border-collapse: collapse;
	border-right: 1px solid #CCC;
	border-left: 1px solid #CCC
}

#revision caption,
#revision th,
#revision td {
	border-left: 0;
	padding: 4px 8px
}

#revision th {
	background-color: #333;
	color: #ffd;
	text-align: center
}

#revision tr:nth-child(2n) {
	background-color: #F7F7F7;
	color: #444;
}

#revision a {
	color: #0982DF;
	text-decoration: none;
	border-bottom: 1px solid #DDD;
}

#revision tr:hover {
	background-color: #ccc;
	color: #000
}