/**
* Gadget to reset typography refresh
*/
.diff-editfont-monospace .diff-addedline,
.diff-editfont-monospace .diff-deletedline,
.diff-editfont-monospace .diff-context {
font-family: sans-serif;
font-size: 88%;
}
html, body {
font-family: sans-serif;
}
div#content {
color: black;
}
div#content h1,
div#content h2,
div#content .mw-heading1,
div#content .mw-heading2,
div#content #firstHeading,
div#content .mw-editsection {
font-family: inherit;
}
div#content .mw-heading,
div#content h1,
div#content h2,
div#content h3,
div#content h4,
div#content h5,
div#content h6 {
line-height: inherit;
margin: 0;
padding-top: 0.5em;
padding-bottom: 0.17em;
}
div#content #firstHeading {
font-size: 1.6em;
line-height: 1.2em;
margin-bottom: 0.1em;
padding-bottom: 0;
}
div#content .mw-heading1 {
font-size: 188%;
margin-bottom: 0.6em;
}
div#content .mw-heading2 {
font-size: 150%;
margin-bottom: 0.6em;
}
div#content .mw-heading3 {
font-size: 132%;
}
div#content .mw-heading4 {
font-size: 116%;
}
div#content .mw-heading5 {
font-size: 108%;
}
div#content .mw-heading6 {
font-size: 100%;
}
.vector-body {
font-size: 0.8125em;
line-height: 1.5em;
}