{"sections":[{"urls":[],"urlPrefixes":["http://ncatlab.org/nlab/","http://www.ncatlab.org/nlab/"],"domains":[],"regexps":[],"code":"math{font-family: Georgia, DejaVu Serif,  BitStream Vera Serif,  Linux Libertine,   Constantia,  Cambria Math, STIXNonUnicode,  STIXSize1, STIXGeneral,   Symbol  !important; } \r\n\r\ndiv#Content{ font-family: Georgia, DejaVu Serif,  BitStream Vera Serif, Linux Libertine, Constantia, Cambria, Georgia, Times New Roman  !important; \t}"},{"urls":[],"urlPrefixes":["http://ncatlab.org/nlab/edit/","http://www.ncatlab.org/nlab/edit/"],"domains":[],"regexps":[],"code":"div#Content {max-width:100% !important;} \r\ntextarea#content {font-family: Verdana, Courier New; font-size: 80%;  width:100%; height:90em; }\r\ndiv#MarkupHelp {display:none;}\r\n\r\n/* Deprecated:\r\ndiv#MarkupHelp:after {content: \"Query-box: +-- {: .query}  ... some text here ...  =--\"; font-size:70%;} \r\n*/"}],"url":"http://userstyles.org/styles/17934","updateUrl":"https://userstyles.org/styles/chrome/17934.json","md5Url":"https://update.userstyles.org/17934.md5","originalMd5":"c4d3be1f9341e41cd68cdea8f4365f41","name":"nLab theme","thumbnail":"https://userstyles.org/auto_style_screenshots/17934-after.png?r=1780758026"}