/* originally from beezer.css */
* { zoom: 0; }

img { border: 0; }

body {
   margin: 0px 0px 0px 0px;
    padding: 0px 0px 0px 10px;
    font-family: serif;
    color: black;
    background-color: white;
    /* max-width: 1200px; */
}
#next a:hover {
  border: 0px;
  background-color:transparent;
}
#mathjax-info {
  display: none;
  position: absolute;
  z-index: 99;
  width: 600px;
  height: 600px;
  padding-top: 150px;
  line-height: 20px;
  text-align: center;
  font-size: small;
  color: grey;
}
#content > h1
{
    font-size: 130%;
    font-weight: bold;
    color: #292;
    font-family: serif;
    text-decoration: none;
    margin: 15px 0;
}
#content > h1:first-child,
#content > h2:first-child {
  margin-top: 0px;
}

#content > h2
{
    font-family: serif;
    text-decoration: none;
    font-size: 120%;
    text-align: left;
    font-weight: bold;
    color: #292;
    padding: 5px 0 5px 0;
    margin: 15px 0 10px 0;
}
#content > h3 {
    font-family: serif;
    text-decoration: none;
    font-size: 110%;
    text-align: left;
    font-weight: bold;
    padding: 5px 0 5px 0;
    color: #181;
    margin: 10px 0 5px 0;
}
#footer {
    clear: both;
    margin-top: 40px;
    background-color: #dfd;
    border-top: 2px solid #bfb;
    padding: 25px 10px;
    text-align: center;
    font-size: 75%;
    color: #060;
}

pre {
   background-color: lightblue;
   border-radius: 15px;
   line-height:120%;
}

code p {
   margin-left: 30px;
   font-size:100%;
}

.figcaption code {
   font-size: 130%;
   font-style: normal;
}

div.colorlist {
   border-radius: 15px;
   background-color: pink;
}

div.colorlist p {
   margin-left: 30px;
   margin-right: 30px;
}

p code {
   font-size: 130%;
}

#content > ul {
  margin-top: 10px;
  margin-bottom: 10px;
}
a {
  color: #292;
  text-decoration: none;
  font-family: serif;
}
#content a {
}
#content .announce {
  font-size: 1.2em;
  margin: 40px;
  padding: 20px;
  border: 1px solid #292;
  border-radius: 10px;
  -webkit-border-radius: 10px;
  -moz-border-radius: 10px;
  -webkit-box-shadow: inset 0px 0px 15px 5px #bfb;
  -moz-box-shadow:    inset 0px 0px 15px 5px #bfb;
  box-shadow:         inset 0px 0px 15px 5px #bfb;
}
#content .announce.error {
  border: 1px solid #922;
  -webkit-box-shadow: inset 0px 0px 15px 5px #922;
  -moz-box-shadow:    inset 0px 0px 15px 5px #922;
  box-shadow:         inset 0px 0px 15px 5px #922;
}

a:visited { color: #080; }
a:hover { 
  color: #000; 
  background: #cfc;  
}

#header {
  /*border-bottom: 2px solid #4a4;*/
  min-height: 120px;
/*  background: #dfd;#a8b898*/
  background: #c8d8b8;
  -moz-box-shadow:     0px 5px 5px #bbb;
  -webkit-box-shadow:  0px 5px 5px #bbb;
  box-shadow:          0px 5px 5px #bbb;
  position: relative;
  margin: 0px 0px 0px 210px;
}

//#header a {
//  color: #F00;
//}
  
#header #logo {
    float: left;
    height: 120px;
    width: 200px;
    margin: 0px;
}
#header .right {
  margin-left: 20px;
  margin-top: 0px;
  position: relative;
}
#header #title {
    /* border: 1px solid green; */
    font-size: 230%;
    font-weight: bold;
    font-family: serif;
    min-height: 100px;
    line-height: 100%;
    position: relative;
    color: #040;
    clear:both;
}

#header #title-content {
  position: absolute;
  bottom: 15px;
}

#header .bread {
//    border: 1px solid red;
    font-family: serif;
    min-height: 18px;
    font-size: 90%;
    padding-top: 2px;
    float:left;

}
#header .topright {
  /* border: 1px solid red;  */
  text-align: right;
  white-space:nowrap; 
  color: #060;
  font-family: serif;
  min-height: 18px;
  font-size: 90%;
  padding: 2px 5px;
  position: absolute;
  top: 0px;
  right: 0px;
}
#header .topright a {
  color: #060;
}
#header .topright #communication-wrapper {  
  display: none;
  padding: 4px;
}
#header #navi {
  white-space: nowrap;
  text-align: right;
  color: #060;
  font-family: serif;
  font-size: 90%;
  padding: 2px 5px;
  position: absolute;
  bottom: 0px;
  right: 0px;  
  z-index: 5;
}

#flashes p {
  border-left: 15px solid #DDF;
  padding: 5px;
  background: #EEF;
  
}

#flashes p.error {
  margin: 15px 0;
  font-size: 95%;
  border: 0;
  border-left: 15px solid #FDD;
  background: #FEE;
}


#main {
  margin:  0px 0px 0px 200px;
  padding: 0px 0px 0px 20px;
  min-height: 700px;
  /* border: 1px solid purple; */
}

#properties {
    z-index: 99;
    font-size: 85%;
    font-family: serif;
    float: right;
    clear: right;
    margin: 20px 0px 15px 15px;
    /* width: 20%; */
    /* background: #9d9; */
    position: relative;
    border: 1px solid #474;
    border: 0;
    padding: 0px;
}
#properties-body div, #properties-body p {
  padding: 5px;
}
#properties-body h1, #properties-body h2 {
    color: #050;
    padding: 5px;
    margin: 0;
    margin-bottom: 0;
    background: #bfb;
}
#properties-body h1 {
    font-size: 120%;
}
#properties-body h2 {
    font-size: 110%;
    margin-top: 10px;
}
#properties-body h2:first-child { margin-top: 0px; }
#properties-body table th, 
#properties-body table td {
  padding-left: 10px;
  padding-right: 10px;
}
#properties-body .label {
  font-weight: bold;
}
#properties-body {
  margin: 0;
  padding: 0;
  background: #efe;
  min-width: 200px;
  padding-bottom: 10px;
  border-bottom-left-radius: 10px;
  -moz-border-radius-bottomleft: 10px;
}
#properties-header {
  border-top-left-radius: 10px;
  -moz-border-radius-topleft: 10px;
  margin: 0;
  padding: 5px 10px;
  color: #050;
  background: #9d9;
  font-size: 14px;
  cursor: pointer;
  padding-right: 30px;
}
#properties-collapser {
  cursor: pointer;
  color: #050;
  font-size: 19px;
  font-weight: bold;
  text-align: center;
  border: 1px solid ;
  width: 20px;
  height: 17px;
  position: absolute;
  top:   3px;
  right: 3px;
  border-radius: 20px;
  -webkit-border-radius: 20px;
  -moz-border-radius: 20px;
}


#content {
  margin-top: 20px;
  font-size: 95%;
}

#content blockquote
{
/*
    margin: 10px;
    color: #996633;
    text-decoration: none;
    font-size: 12px;
    padding-left: 15px;
    font-family: serif;
    line-height: 18px;
    background-color: #F1EFE2;
    padding-top: 5px;
    padding-bottom: 5px;
    text-align: justify;
    padding-right: 10px;
    border: 2px solid #ECE9D8;
*/
}
/*
blockquote p {
    color: #CC6600;
    line-height: 18px;
    font-family: serif;
}
*/

#sidebar {
  padding: 10px 0px;
  border: 2px solid #000000;
  border-radius:15px;
  border-color:gray;
  position: fixed;
  top:0px;
  overflow:auto;
  height:90%;
  float: left;
  width: 200px;
  margin: 15px 10px 0px 0px;
  font-family: serif;
  font-size: 85%;
  color: #390;
/*  background: #EFE; */
  background: #eaf6e5;
/*  margin-bottom: 40px;*/
/*  border-top-right-radius: 10px;
  -moz-border-radius-topright: 10px;
  border-bottom-right-radius: 10px;
  -moz-border-radius-bottomright: 10px;
*/
}
#menu_expand {
  padding: 0px 0px;
  border: 0px solid #000000;
  border-radius:15px;
  position: fixed;
  top:0px;
  overflow:auto;
  float: left;
  width: 200px;
/*  margin: 15px 10px 0px 0px;*/
  font-family: serif;
  font-size: 85%;
  color: #390;
}
#sidebar .list li {
  padding: 2px;
}
#sidebar .list a {
  display: inline;
  padding: 1px;
}

#sidebar h2 {
    font-family: serif;
    font-size: 100%;
/*    background-color: #bfb;*/
    color: #050;
/*    padding: 5px;
*/
    margin: 0px 0px 0px 0px;
}
#sidebar h2:first-child {
  margin-top: 0;
}

#sidebar ul:first-child a:first-child,
#sidebar h2:first-child a:first-child,
#sidebar h2:first-child {
  margin: 0;
/*  border-top-right-radius: 10px;
  -moz-border-radius-topright: 10px;
*/
}
#sidebar ul:last-child li:last-child,
#sidebar ul:last-child li:last-child a {
/*  border-bottom-right-radius: 10px;
  -moz-border-radius-bottomright: 10px;
*/
}
#sidebar ul {
    display:none;
    height:auto;
    margin: 0px;
    padding: 0px;
    list-style-type: none;
    background: white;
}
#sidebar ul li {
    display: block;
    margin: 0px;
    padding: 0px;
}
#sidebar a:hover {
    background: #bfb;
}
#sidebar a {
    display: block;
}
#sidebar li a {
/*  background: #efe;*/
  padding: 5px;
}
#sidebar h2 img {float:right;}
#sidebar h2 a { padding: 3px; }
#sidebar h2 a:hover {
  background: #afa;
}
#sidebar h2.link {
  padding: 0px;
}

/* highlighting menu entries (if their respective blueprint overwirtes the body_class variable!) */
body.mwf #sidebar a.mwf { background: #BFB; }
body.cmf #sidebar a.cmf { background: #BFB; }
body.local_fields #sidebar a.local_fields { background: #BFB; }

.visible {
	visibility: visible;
}
	
.hidden {
	visibility: hidden;
	height: 0px;
}

.code {
    font-family: monospace;
    margin: 2px;
    margin-right: 20px;
}

.nodisplay {
    display: None;
}

.formexample {
   font-size: 80%;
   font-style: italic;
   color: grey;
}

td.forminfo {
   font-size: 80%;
   font-style: italic;
   color: grey;
   vertical-align: top;
}

input, textarea {
  border: 2px solid #ACA;
  font-size: 110%;
  padding: 3px;
  border-radius: 5px;
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
}

button, select {
  padding: 3px 6px;
  background: #DFD;
  border-radius: 4px;
  -moz-border-radius:4px;
  -webkit-border-radius:4px;
  cursor: pointer;
  border: 2px solid #ADA;
  min-width: 75px;
}


form button:hover, 
form select:hover {
  background:    #CFC;
  border: 2px solid #9C9;
}

table th, table td {
  padding-left:  5px;
  padding-right: 5px;
}


div.literature {
    margin-top: 10px;
    font-size: 90%;
    color: #111111;

}

.name {
    font-weight: bold;
}

.emph {
    font-style: italic;
}

.highlight {
  /* text-decoration: underline; */
  font-weight: bold;
}



/*** Tables for the Siegel corner ***/

/** TODO these definitions are too broad. please make siegel a 
 * blueprint (name is e.g. "siegel") and prefix all siegel 
 * related definitions with body.siegel 
 */
.box1 {
    margin: 20px 5px 20px 5px;
    padding: 1px;
    max-width: 600px;
    overflow: auto;
}

.small{
    font-size: 12px;
}

.error {
    margin: 20px 0 20px 0;
    padding: 10px;
    border: 1px solid red;
    color: red;
    font-size: 120%;
}

.enternumber
{
  border: 1px solid black;
}

.watermark {
  color: #999 !important;
}


.propertylist {
  margin: 2em 0;
  padding: 0;
  border: 1px solid #999999;
}

.propertylist dt {
  font-weight: bold;
}

.propertylist dd {
  margin-bottom: 1em
}

a.navlink {
  color: white;
  background-color: #4a4;
  font-weight: bold;
  font-size: 11px;
  text-align: center;
  padding: 5px;
  padding-top: 3px;
  padding-bottom: 4px;
  border: 1px solid white;
  outline: 1px solid #4a4;
  text-decoration: none;
  margin-left: 1px;
  margin-top: 10px
}
/*
hr {
  border: 2px solid #bfb;
  margin: 15px 0;
}
*/
/* jquery ui slider */
.slider {
  margin: 15px 5px;
}




.ex_highlight #example tbody tr.even:hover, #example tbody tr.even td.highlighted {
	background-color: #ECFFB3;
}

.ex_highlight #example tbody tr.odd:hover, #example tbody tr.odd td.highlighted {
	background-color: #E6FF99;
}

.ex_highlight_row #example tr.even:hover {
	background-color: #ECFFB3;
}

.ex_highlight_row #example tr.even:hover td.sorting_1 {
	background-color: #DDFF75;
}

.ex_highlight_row #example tr.even:hover td.sorting_2 {
	background-color: #E7FF9E;
}

.ex_highlight_row #example tr.even:hover td.sorting_3 {
	background-color: #E2FF89;
}

.ex_highlight_row #example tr.odd:hover {
	background-color: #E6FF99;
}

.ex_highlight_row #example tr.odd:hover td.sorting_1 {
	background-color: #D6FF5C;
}

.ex_highlight_row #example tr.odd:hover td.sorting_2 {
	background-color: #E0FF84;
}

.ex_highlight_row #example tr.odd:hover td.sorting_3 {
	background-color: #DBFF70;
}


ul {
list-style-position:inside;
} 

ol {
list-style-position:inside;
}

/* end beezer */

div.jxgbox {
   margin-left: auto;
  margin-right:auto;
}

div #content { max-width: 600px;
              font-size: 100%;
              line-height:150%;
     }

* p { max-width: 600px }
div.definition { max-width: 600px }
div.definition span.theoremlabel { 
     font-style: normal;
     font-weight: bold;
     margin-right: 10px;
   }

div.remark { max-width: 600px }
div.remark span.theoremlabel {
     font-style: normal;
     font-weight: bold;
     margin-right: 10px;
   }

div.example { max-width: 600px }
div.example span.theoremlabel {
     font-style: normal;
     font-weight: bold;
     margin-right: 10px;
   }

div.theorem { max-width: 600px;}
div.theorem p { font-style: italic; }
div.theorem span.theoremlabel { 
     font-style: normal;
     font-weight: bold;
     margin-right: 10px;
   }
#search {
//    border: 1px solid red;
    text-align:right;
//    position:relative;
    padding-right:100px;
    font-size: small;
}
#next { 
    top:10px;
    right: 10px;
    text-align:right;
    position:fixed
/* original:
        margin-right: 10px;
        text-align:right;
        float:right;
*/
      }

div.figure {
   margin-top: 20px;
    max-width: 600px
}

div.figcaption {
   text-align: center;
        width: 80%;
  margin-left: auto;
 margin-right: auto;
   margin-top: 7px;
    font-size: 90%;
   font-style: italic;
}

div.qed {
    margin: -10pt 0 20pt 0;
}

span.figurenumber {
    font-weight: bold;
}