/* 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');
}