/* nLab theme. Make edit boxes bigger for easier editing of pages. */
/* First change the fonts to a more "Georgia" type style. I think this makes things look better. */

@-moz-document url-prefix(http://ncatlab.org/nlab/), url-prefix(http://www.ncatlab.org/nlab/)
{
  math{font-family: Georgia, DejaVu Serif,  BitStream Vera Serif,  Linux Libertine,   Constantia,  Cambria Math, STIXNonUnicode,  STIXSize1, STIXGeneral,   Symbol  !important; } 

div#Content{ font-family: Georgia, DejaVu Serif,  BitStream Vera Serif, Linux Libertine, Constantia, Cambria, Georgia, Times New Roman  !important; 	}
}

/* Now for the tweaks for editing pages. */

@-moz-document url-prefix(http://ncatlab.org/nlab/edit/),  url-prefix(http://www.ncatlab.org/nlab/edit/)
{
div#Content {max-width:100% !important;} 
textarea#content {font-family: Verdana, Courier New; font-size: 80%;  width:100%; height:90em; }
div#MarkupHelp {display:none;}

/* Deprecated:
div#MarkupHelp:after {content: "Query-box: +-- {: .query}  ... some text here ...  =--"; font-size:70%;} 
*/

 }