body {
background-color:#FFF;
color:#333;
font-family:Verdana, Arial, Helvetica, sans-serif;
font-size:1em;
line-height:1.3em;
}

.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:100%;
max-width:55em;
}

a:visited {
color:#666;
}

h1,h2,h3,h4,h5,h6 {
color:#333;
font-family:georgia, verdana, sans-serif;
}

h1 {
font-size:200%;
}

h2 {
font-size:173%;
}

h3 {
font-size:144%;
}

h4 {
font-size:120%;
}

h5,h6 {
font-size:100%
}

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

#svg_logo {
float:left;
margin:.5em .25em 0 -.625em;
width:1.5em;
height:1.625em;
}

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

table {
border:double #000;
border-collapse:collapse;
}

td {
border:thin 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;
}

.badWikiWord {
background-color:#FCC;
border: 1px solid blue;
padding: 1px;
}

.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:#000;
color:#FFF;
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:90%;
overflow:auto;
padding:1em;
}

code {
font-family: Roboto Mono, monospace;
font-weight: 500;
}

pre code {
font-weight: 400;
}

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;
}
#allPages label {
font-size: .8em;
}

.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:#FFF;
}

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#editForm textarea#content {
}

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 {
border-left:1px dotted #ccc;
border-bottom:1px dotted #ccc;
float:right;
font-size:80%;
margin-left:0.7em;
padding-left:1.5em;
width:25%;
min-width:8em;
}

.newsList {
margin-top:1.5em;
}

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

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

a,li span {
color:#000;
}

math a {
color:#00F;
}
math a:hover *{
color:#FFF;
background-color:#000;
}

a:hover, a.nav:hover, a:hover math {
background-color:#000;
color:#FFF;
}

a:hover.existingWikiWord, a:visited:hover.existingWikiWord {
background-color:#008;
color:#FFF;
}
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;
}

textarea#content {
font-size: 1em;
line-height: 1.125;
}

ul#sortable_pages {
list-style-type:none;
padding-left:0;
}
ul#sortable_pages li {
border: 1px solid #FFF;
}
ul#sortable_pages li:hover, ul#sortable_pages li:focus {
border: 1px solid blue;
}

merror {display:inline;font-size:1em;}
math[display=block] { overflow: auto; overflow-y: hidden;}
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;}
.tombstone {text-align:right;}

/* Hack for Chrome */
annotation-xml[encoding="SVG1.1"]  {
  display: inline-block;
}
/* 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;}
.maruku_toc ul { list-style: none; }

.strikediag {
  display: inline-block;
  position: relative;
}
.strikediag:before {
    position: absolute;
    content: "";
    left: 2.5px;
	padding: 10px 15px 10px 5px;
    top: 20%;
    right: 0;
    border-top: 1px solid;
    border-color: inherit;
    transform:rotate(-50deg);}

/* The STIX Two fonts are licensed under the SIL Open Font License, Version 1.1, http://scripts.sil.org/OFL */
math  {font-family: STIX Two Math;}
mtext {font-family: STIX Two Text;}
.mathscript {
    font-variant-alternates: styleset(ss01); /* Recommended syntax */
    font-feature-settings: "ss01" on;        /* For browsers which don't support the above */
}

@font-face {
    font-family: STIX Two Text;
    src: local('STIX Two Text'), local('STIX2Text-Regular'),
         url('../fonts/STIX2Text-Regular.woff2'), url('../fonts/STIX2Text-Regular.woff');
}
@font-face {
    font-family: STIX Two Text;
    src: local('STIX Two Text Bold'), local('STIX2Text-Bold'),
         url('../fonts/STIX2Text-Bold.woff2'), url('../fonts/STIX2Text-Bold.woff');
    font-weight: bold;
}
@font-face {
    font-family: STIX Two Text;
    src: local('STIX Two Text Italic'), local('STIX2Text-Italic'),
         url('../fonts/STIX2Text-Italic.woff2'), url('../fonts/STIX2Text-Italic.woff');
    font-style: italic;
}
@font-face {
    font-family: STIX Two Text;
    src: local('STIX Two Text Bold Italic'), local('STIX2Text-BoldItalic'),
         url('../fonts/STIX2Text-BoldItalic.woff2'), url('../fonts/STIX2Text-BoldItalic.woff');
    font-weight: bold;
    font-style: italic;
}
@font-face {
    font-family: STIX Two Math;
    src: local('STIX Two Math'), local('STIX2Math'),
         url('../fonts/STIX2Math.woff2'), url('../fonts/STIX2Math.woff');
}
/* roboto-mono-regular - latin */
@font-face {
  font-family: 'Roboto Mono';
  font-style: normal;
  font-weight: 400;
  src: local('Roboto Mono'), local('RobotoMono-Regular'),
       url('../fonts/roboto-mono-v6-latin-regular.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
       url('../fonts/roboto-mono-v6-latin-regular.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
/* roboto-mono-500 - latin */
@font-face {
  font-family: 'Roboto Mono';
  font-style: normal;
  font-weight: 500;
  src: local('Roboto Mono Medium'), local('RobotoMono-Medium'),
       url('../fonts/roboto-mono-v6-latin-500.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
       url('../fonts/roboto-mono-v6-latin-500.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
