{"sections":[{"urls":[],"urlPrefixes":["http://ncatlab.org/nlab/","http://www.ncatlab.org/nlab/"],"domains":[],"regexps":[],"code":"math{\r\n font-family:\r\n  Georgia,\r\n  DejaVu Serif,\r\n  BitStream Vera Serif,\r\n  Linux Libertine,\r\n  Constantia,\r\n  Cambria Math,\r\n  STIXNonUnicode,\r\n  STIXSize1,\r\n  STIXGeneral,\r\n  Symbol  !important; }\r\n\r\n\r\n/* font family, background \u0026 text colour of the main page; specification of text width */\r\n\r\ndiv#Content{\r\n font-family:\r\n   Georgia,\r\n   DejaVu Serif,\r\n   BitStream Vera Serif,\r\n   Linux Libertine,\r\n   Constantia,\r\n   Cambria,\r\n   Georgia,\r\n   Times New Roman !important;\r\n\r\n color:#222 !important;\r\n background-color:#DDD !important;\r\n max-width: 46em !important;\r\n padding-left: 5px !important;\r\n padding-right: 5px !important;\r\n padding-top:0 !important;\r\n border-top:none !important;\r\n border-left: solid #DDD 10px !important;\r\n border-right: solid #DDD 10px !important;\r\n min-height:100% !important;\r\n /*height:100% !important;*/ }\r\n\r\nhtml,\r\nbody{\r\n padding:0 !important;\r\n margin: 0 0 !important;\r\n border:none !important; }\r\n\r\n/*\r\nhtml{\r\n height: 100% !important; }\r\n\r\nbody{\r\n min-height: 100% !important; height:100% !important; }\r\n*/\r\n\r\n\r\n/* this ensures that the footer gets placed at the bottom of the page, so that the main container extends to full length */\r\n\r\n#footer {\r\n clear: both !important;\r\n}\r\n\r\n\r\n/*******************************************************************/\r\n\r\n/* background colour for the 'All pages' site */\r\n\r\n#allPages,\r\n#wantedPages {\r\n background-color:#DDD !important; }\r\n\r\n\r\n/* overall background colour */\r\n\r\nbody{\r\n background-color:#345 !important; }\r\n\r\n\r\n/* black background; THIS WOULD BE NICE TO HAVE ... does not work properly so far, but I left it in anyway */\r\n\r\n#Container {\r\n background-color:#345 !important;\r\n height:inherit !important;\r\n padding:0 !important;\r\n margin:0 0 !important;\r\n border:none !important; }\r\n\r\n\r\n/* page name background \u0026 colour */\r\n\r\n#pageName{\r\n color:#EEE !important;\r\n background:#222 !important;\r\n border: solid #222 !important;\r\n border-width:10px !important;\r\n margin: 0 -15px !important;\r\n padding-top: 0 !important; }\r\n\r\n\r\n/* Hack the 'green blob' away by setting its height to 0 (the green blob is unfortunately hard-coded; it is in particular always green) */\r\n\r\n#svg_logo{\r\n height: 0px !important;\r\n background-color:#222 !important;\r\n border:none !important;\r\n width:10px !important; }\r\n\r\n\r\n/* change some colours to a darker grey */\r\n\r\npre,\r\ndiv.web_protected,\r\ndiv.info{\r\n background-color: #BBB !important; }\r\n\r\n\r\n/* colour scheme for theorem environments */\r\n\r\n.un_theorem, .num_theorem,\r\n.un_thm, .num_thm\r\n.un_lemma, .num_lemma,\r\n.un_prop, .num_prop,\r\n.un_cor, .num_cor,\r\n.un_note, .num_note,\r\n.un_remark, .num_remark,\r\n.un_defn, .num_defn {\r\n border: solid #BBB 2px !important;\r\n background-color:#CCC !important;\r\n margin: 5px !important;\r\n padding: 0 1em !important; }\r\n\r\n/*******************************************************************/\r\n\r\n\r\n/* background of names for of sites that don't exist yet */\r\n\r\n.newWikiWord{\r\n background-color:#BBB !important; }\r\n\r\n\r\n/* hyperlink colours, visited, hovering */\r\n\r\na,\r\na math{\r\n color:rgb(15,55,200) !important;\r\n text-decoration:none !important;}\r\na:hover,\r\na:hover math{\r\n color:rgb(15,55,120) !important;\r\n background-color:rgb(248,251,255) !important; }\r\na:visited,\r\na:visited math{\r\n color:rgb(120,45,180) !important; }\r\n\r\n\r\n/* Headers should have bigger line heights, otherwise they tend to overlap if they are multi-lined */\r\n\r\nh2{\r\n line-height:110% !important;}\r\nh1{\r\n line-height:110% !important;}\r\n\r\n\r\n/* Colours of query boxes and standout boxes */\r\n\r\ndiv.query{\r\n background:rgb(190,215,255) !important;\r\n border: solid rgb(100,115,155) 2px !important;\r\n margin: 1em 1em !important;\r\n}\r\n\r\ndiv.standout{\r\n background:rgb(255,255,200) !important;\r\n border: solid #333 2px !important;\r\n margin: 1em 1em !important; }\r\n\r\n\r\n/* hovering over hyperlinks in query boxes and standout boxes */\r\n\r\ndiv.query a:hover,\r\ndiv.query a:hover math{\r\n color:rgb(15,55,120) !important;\r\n background-color:rgb(225,235,255) !important; }\r\ndiv.query a:visited,\r\ndiv.query a:visited math{\r\n color:rgb(120,45,180) !important; }\r\n\r\ndiv.standout a:hover,\r\ndiv.standout a:hover math{\r\n color:rgb(15,55,200) !important;\r\n background-color:rgb(200,200,135) !important; }\r\ndiv.standout a:visited,\r\ndiv.standout a:visited math{\r\n color:rgb(120,45,180) !important; }\r\n\r\n\r\n/* table of contents, hyperlinks and headers in toc */\r\n\r\n.toc{background:#333 !important;\r\n    color:#BBB !important;\r\n    border: solid rgb(100,115,155) !important;\r\n\r\n/* BUG FIX: the next line ensures that tocs can only stand in a row, not next to each other. This makes it possible to place several toc's on one page, without any hacks involved. */\r\n\r\n    clear:both !important; \r\n    margin:5px 0px;\r\n    padding:1em !important;\r\n}\r\n\r\n.rightHandSide a,\r\n.rightHandSide a math{\r\n color:rgb(140,155,255) !important;}\r\n.rightHandSide a:hover,\r\n.rightHandSide a:hover math{\r\n color:rgb(15,55,120) !important;\r\n background-color:rgb(190,200,220) !important; }\r\n.toc h1,\r\n.toc h2,\r\n.toc h3,\r\n.toc h4,\r\n.toc h5,\r\n.toc h6{\r\n color:#EEE !important;}"},{"urls":[],"urlPrefixes":["http://ncatlab.org/nlab/edit/","http://www.ncatlab.org/nlab/edit/"],"domains":[],"regexps":[],"code":"/*div#Content{\r\n clear:none !important;\r\n max-width: 46em !important; }\r\n*/\r\n\r\ntextarea#content{\r\n background-color:#EEE !important; /* has no effect ?? */\r\n font-family:\r\n  Verdana,\r\n  Courier New !important;\r\n font-size: 80% !important;\r\n /*width:35em !important;*/ \r\n width:100% !important;\r\n height:90em !important; }\r\n\r\ndiv#MarkupHelp {\r\n/* clear: none !important;\r\n width:17em !important;*/\r\n display:none; }"}],"url":"http://userstyles.org/styles/22800","updateUrl":"https://userstyles.org/styles/chrome/22800.json","md5Url":"https://update.userstyles.org/22800.md5","originalMd5":"b58edc3f0b3b8f1520459f2e5cef81b1","name":"nLab -- nCafe style","thumbnail":"https://userstyles.org/auto_style_screenshots/22800-after.png?r=1780988556"}