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


/* font family, background & text colour of the main page; specification of text width */

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

 color:#222 !important;
 background-color:#DDD !important;
 max-width: 46em !important;
 padding-left: 5px !important;
 padding-right: 5px !important;
 padding-top:0 !important;
 border-top:none !important;
 border-left: solid #DDD 10px !important;
 border-right: solid #DDD 10px !important;
 min-height:100% !important;
 /*height:100% !important;*/ }

html,
body{
 padding:0 !important;
 margin: 0 0 !important;
 border:none !important; }

/*
html{
 height: 100% !important; }

body{
 min-height: 100% !important; height:100% !important; }
*/


/* this ensures that the footer gets placed at the bottom of the page, so that the main container extends to full length */

#footer {
 clear: both !important;
}


/*******************************************************************/

/* background colour for the 'All pages' site */

#allPages,
#wantedPages {
 background-color:#DDD !important; }


/* overall background colour */

body{
 background-color:#345 !important; }


/* black background; THIS WOULD BE NICE TO HAVE ... does not work properly so far, but I left it in anyway */

#Container {
 background-color:#345 !important;
 height:inherit !important;
 padding:0 !important;
 margin:0 0 !important;
 border:none !important; }


/* page name background & colour */

#pageName{
 color:#EEE !important;
 background:#222 !important;
 border: solid #222 !important;
 border-width:10px !important;
 margin: 0 -15px !important;
 padding-top: 0 !important; }


/* Hack the 'green blob' away by setting its height to 0 (the green blob is unfortunately hard-coded; it is in particular always green) */

#svg_logo{
 height: 0px !important;
 background-color:#222 !important;
 border:none !important;
 width:10px !important; }


/* change some colours to a darker grey */

pre,
div.web_protected,
div.info{
 background-color: #BBB !important; }


/* colour scheme for theorem environments */

.un_theorem, .num_theorem,
.un_thm, .num_thm
.un_lemma, .num_lemma,
.un_prop, .num_prop,
.un_cor, .num_cor,
.un_note, .num_note,
.un_remark, .num_remark,
.un_defn, .num_defn {
 border: solid #BBB 2px !important;
 background-color:#CCC !important;
 margin: 5px !important;
 padding: 0 1em !important; }

/*******************************************************************/


/* background of names for of sites that don't exist yet */

.newWikiWord{
 background-color:#BBB !important; }


/* hyperlink colours, visited, hovering */

a,
a math{
 color:rgb(15,55,200) !important;
 text-decoration:none !important;}
a:hover,
a:hover math{
 color:rgb(15,55,120) !important;
 background-color:rgb(248,251,255) !important; }
a:visited,
a:visited math{
 color:rgb(120,45,180) !important; }


/* Headers should have bigger line heights, otherwise they tend to overlap if they are multi-lined */

h2{
 line-height:110% !important;}
h1{
 line-height:110% !important;}


/* Colours of query boxes and standout boxes */

div.query{
 background:rgb(190,215,255) !important;
 border: solid rgb(100,115,155) 2px !important;
 margin: 1em 1em !important;
}

div.standout{
 background:rgb(255,255,200) !important;
 border: solid #333 2px !important;
 margin: 1em 1em !important; }


/* hovering over hyperlinks in query boxes and standout boxes */

div.query a:hover,
div.query a:hover math{
 color:rgb(15,55,120) !important;
 background-color:rgb(225,235,255) !important; }
div.query a:visited,
div.query a:visited math{
 color:rgb(120,45,180) !important; }

div.standout a:hover,
div.standout a:hover math{
 color:rgb(15,55,200) !important;
 background-color:rgb(200,200,135) !important; }
div.standout a:visited,
div.standout a:visited math{
 color:rgb(120,45,180) !important; }


/* table of contents, hyperlinks and headers in toc */

.toc{background:#333 !important;
    color:#BBB !important;
    border: solid rgb(100,115,155) !important;

/* 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. */

    clear:both !important; 
    margin:5px 0px;
    padding:1em !important;
}

.rightHandSide a,
.rightHandSide a math{
 color:rgb(140,155,255) !important;}
.rightHandSide a:hover,
.rightHandSide a:hover math{
 color:rgb(15,55,120) !important;
 background-color:rgb(190,200,220) !important; }
.toc h1,
.toc h2,
.toc h3,
.toc h4,
.toc h5,
.toc h6{
 color:#EEE !important;}
}


/* Now for the tweaks for editing pages. (Bruce Bartels) */

@-moz-document url-prefix(http://ncatlab.org/nlab/edit/),  url-prefix(http://www.ncatlab.org/nlab/edit/)
{
/*div#Content{
 clear:none !important;
 max-width: 46em !important; }
*/

textarea#content{
 background-color:#EEE !important; /* has no effect ?? */
 font-family:
  Verdana,
  Courier New !important;
 font-size: 80% !important;
 /*width:35em !important;*/ 
 width:100% !important;
 height:90em !important; }

div#MarkupHelp {
/* clear: none !important;
 width:17em !important;*/
 display:none; }
}