/* 2014-07-12 --- 3f4b1f8a066eb2c77d36d2bcd14cd8a7 */
@namespace url("http://www.w3.org/1999/xhtml");
@-moz-document
regexp("^https://tools\.ietf\.org/rfc/rfc[0-9]+\.txt$"),
regexp("^https://www\.rfc-editor\.org/rfc/rfc[0-9]+\.txt$"),
regexp("^.*#__text__$")
{
/* ---------- reset ---------- */
html:root,
html:root * {
all: initial !important;
}
html:root,
html:root * {
all: unset !important;
}
html:root,
html:root * {
display: inline !important;
position: static !important;
visibility: visible !important;
overflow: auto !important;
left: 0px !important;
right: 0px !important;
top: 0px !important;
bottom: 0px !important;
width: auto !important;
min-width: initial !important;
max-width: initial !important;
height: auto !important;
min-height: initial !important;
max-height: initial !important;
padding: 0px !important;
margin: 0px !important;
border: none !important;
float: none !important;
clear: both !important;
z-index: inherit !important;
box-sizing: content-box !important;
box-shadow: none !important;
color: inherit !important;
background: inherit !important;
font-family: inherit !important;
font-size: inherit !important;
font-size-adjust: inherit !important;
font-style: inherit !important;
font-weight: inherit !important;
font-stretch: inherit !important;
font-variant: inherit !important;
}
/* ---------- colors ---------- */
html:root {
color: hsl(0, 0%, 100%) !important;
background: hsl(0, 0%, 0%) !important;
}
html:root > body > pre {
color: hsl(120, 25%, 50%) !important;
background: hsl(0, 0%, 5%) !important;
}
html:root::-moz-selection,
html:root *::-moz-selection {
color: hsl(30, 25%, 50%) !important;
background: inherit !important;
}
/* ---------- fonts ---------- */
html:root {
font-family: "Inconsolata", "Source Code Pro", "Anonymous Pro" !important;
font-size: 12pt !important;
font-size-adjust: 0.66 !important;
font-style: normal !important;
font-weight: normal !important;
font-stretch: normal !important;
font-variant: normal !important;
}
/* ---------- layout ---------- */
html:root {
display: block !important;
position: fixed !important;
visibility: visible !important;
overflow: hidden !important;
width: 100vw !important;
min-width: 100vw !important;
max-width: 100vw !important;
height: 100vh !important;
min-height: 100vh !important;
max-height: 100vh !important;
}
html:root > body {
display: block !important;
position: fixed !important;
visibility: visible !important;
overflow: auto !important;
width: 100% !important;
min-width: 100% !important;
max-width: 100% !important;
height: 100% !important;
min-height: 10% !important;
max-height: 100% !important;
}
html:root > body > pre {
display: block !important;
position: static !important;
visibility: visible !important;
overflow: hidden !important;
width: -moz-fit-content !important;
min-width: 20ch !important;
max-width: 120ch !important;
height: auto !important;
min-height: 10% !important;
max-height: none !important;
padding: 64px !important;
margin: auto !important;
margin-top: 64px !important;
margin-bottom: 64px !important;
white-space: pre-wrap !important;
-moz-control-character-visibility: visible !important;
}
}
/* https://fonts.googleapis.com/css?family=Inconsolata:400,700&subset=latin,latin-ext */
@font-face {
font-family: 'Inconsolata';
font-style: normal;
font-weight: 400;
src: local('Inconsolata'), url(https://themes.googleusercontent.com/static/fonts/inconsolata/v7/BjAYBlHtW3CJxDcjzrnZCNIh4imgI8P11RFo6YPCPC0.woff) format('woff');
}
@font-face {
font-family: 'Inconsolata';
font-style: normal;
font-weight: 700;
src: local('Inconsolata Bold'), local('Inconsolata-Bold'), url(https://themes.googleusercontent.com/static/fonts/inconsolata/v7/AIed271kqQlcIRSOnQH0yYUt79146ZFaIJxILcpzmhI.woff) format('woff');
}
/* https://fonts.googleapis.com/css?family=Source+Code+Pro:400,200,300,600,500,700,900&subset=latin,latin-ext */
@font-face {
font-family: 'Source Code Pro';
font-style: normal;
font-weight: 200;
src: local('Source Code Pro ExtraLight'), local('SourceCodePro-ExtraLight'), url(https://themes.googleusercontent.com/static/fonts/sourcecodepro/v4/leqv3v-yTsJNC7nFznSMqbhZfOo4eSOlrve6pGrXHAo.woff) format('woff');
}
@font-face {
font-family: 'Source Code Pro';
font-style: normal;
font-weight: 300;
src: local('Source Code Pro Light'), local('SourceCodePro-Light'), url(https://themes.googleusercontent.com/static/fonts/sourcecodepro/v4/leqv3v-yTsJNC7nFznSMqYPZSf8Ud0kNoe3bGnF7K24.woff) format('woff');
}
@font-face {
font-family: 'Source Code Pro';
font-style: normal;
font-weight: 400;
src: local('Source Code Pro'), local('SourceCodePro-Regular'), url(https://themes.googleusercontent.com/static/fonts/sourcecodepro/v4/mrl8jkM18OlOQN8JLgasDxBHWFfxJXS04xYOz0jw624.woff) format('woff');
}
@font-face {
font-family: 'Source Code Pro';
font-style: normal;
font-weight: 500;
src: local('Source Code Pro Medium'), local('SourceCodePro-Medium'), url(https://themes.googleusercontent.com/static/fonts/sourcecodepro/v4/leqv3v-yTsJNC7nFznSMqTqaeNdu-yyoiSGhdizsIpU.woff) format('woff');
}
@font-face {
font-family: 'Source Code Pro';
font-style: normal;
font-weight: 600;
src: local('Source Code Pro Semibold'), local('SourceCodePro-Semibold'), url(https://themes.googleusercontent.com/static/fonts/sourcecodepro/v4/leqv3v-yTsJNC7nFznSMqQAD_zxmsR6vL1X3tnvCZYo.woff) format('woff');
}
@font-face {
font-family: 'Source Code Pro';
font-style: normal;
font-weight: 700;
src: local('Source Code Pro Bold'), local('SourceCodePro-Bold'), url(https://themes.googleusercontent.com/static/fonts/sourcecodepro/v4/leqv3v-yTsJNC7nFznSMqQE-U1AYRUXXE0Dth8uKIE0.woff) format('woff');
}
@font-face {
font-family: 'Source Code Pro';
font-style: normal;
font-weight: 900;
src: local('Source Code Pro Black'), local('SourceCodePro-Black'), url(https://themes.googleusercontent.com/static/fonts/sourcecodepro/v4/leqv3v-yTsJNC7nFznSMqbhvvL6PHcOvkHgRlzWiaCU.woff) format('woff');
}
/* https://fonts.googleapis.com/css?family=Anonymous+Pro:400,400italic,700,700italic&subset=latin,cyrillic-ext,greek-ext,latin-ext,cyrillic */
@font-face {
font-family: 'Anonymous Pro';
font-style: normal;
font-weight: 400;
src: local('Anonymous Pro'), local('AnonymousPro'), url(https://fonts.gstatic.com/s/anonymouspro/v5/Zhfjj_gat3waL4JSju74E0FEQaDn4z1jmDctQGk9TOo.woff) format('woff');
}
@font-face {
font-family: 'Anonymous Pro';
font-style: normal;
font-weight: 700;
src: local('Anonymous Pro Bold'), local('AnonymousPro-Bold'), url(https://fonts.gstatic.com/s/anonymouspro/v5/WDf5lZYgdmmKhO8E1AQud9qJGvo_ZiY3LnJJKAPDsHA.woff) format('woff');
}
@font-face {
font-family: 'Anonymous Pro';
font-style: italic;
font-weight: 400;
src: local('Anonymous Pro Italic'), local('AnonymousPro-Italic'), url(https://fonts.gstatic.com/s/anonymouspro/v5/q0u6LFHwttnT_69euiDbWOs1B5vkbD8Kik0RImu1GbQ.woff) format('woff');
}
@font-face {
font-family: 'Anonymous Pro';
font-style: italic;
font-weight: 700;
src: local('Anonymous Pro Bold Italic'), local('AnonymousPro-BoldItalic'), url(https://fonts.gstatic.com/s/anonymouspro/v5/_fVr_XGln-cetWSUc-JpfE1-b71ocIBlKQtlZNs1HhM.woff) format('woff');
}