/* ----------------------------------------------- */
/*            W3 styles QM              	   */
/*            cvw 15-05-2020                       */
/* ----------------------------------------------- */

* {box-sizing: border-box;}

body{max-width:1600px;}

body,h1,h2,h3,h4,h5,h6 {font-family: "Raleway", sans-serif; color:black;}

h1 {margin-left: auto; margin-right: auto;  width: 80%; text-align: center;font-size: 20px;}

h2 {margin-left:30px;font-weight: bold;}

.center {
  margin-left: auto;
  margin-right: auto;
  width: 80%;
  text-align: center;
}

.hidden {display: none;}

figcaption {padding-left:60px;text-align: left;}

hr { 
  display: block;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  margin-left: auto;
  margin-right: auto;
  border-style: inset;
  border-width: 1px;
} 

/* ------------------------------------------------------------*/
/* https://www.w3schools.com/howto/howto_css_fixed_sidebar.asp */
/* voorbeeld class "sidenav"                                   */
/*.w3-sidebar{height:100%;width:200px;background-color:#fff;   */
/* position:fixed!important;z-index:1;overflow:auto}           */
/*------------------------------------------------------------ */

#mySidebar {display: block;font-size: 16px; width:260px;padding-left:20px;}
#mySidebar a {display:block;text-decoration:none;}
#mySidenar a:hover {color:#000000;background-color:#cccccc;}
#mySidebar a.active {background-color:#0a69b7;color:#ffffff;}


/*------------------------------------------------------------ */
/*                Section                                      */
/*------------------------------------------------------------ */

section {font-size: 1.1em; padding-top:20px; padding-left:40px;padding-right: 40px; padding-bottom: 40px;vertical-align: top;}

aside {
  float: left;
  width: 10%;
  margin: 0; 
  margin-right: 0px;
  padding: 12px;
  vertical-align: top;
  font-size: 18px;font-weight: bold;text-align:right;
}

article {
  margin-left: 40px; 
  /*padding: 12px;*/
  font-size: 16px;  
}

/*------------------------------------------------------------ */
/*                Header, definition, equation, footer         */
/*------------------------------------------------------------ */

div.header {margin-left: 40px;
     border-left: 4px solid #ff9800; border-bottom: 2px solid #ff9800
}

div.num {width:40px;
}

div.eq {margin-left: 0px;
     border-left: ; border-top: ; background-color:#e6e6e6;
}

div.impeq {margin-left: 0px;
     border-left: 4px solid #ff9800; border-top: ; background-color:#e6e6e6;
}

div.def {margin-left: 0px;
     border-left: 4px solid #707070; border-top: ; background-color:#e6e6e6;
}

#prev {font-size: 16px; font-weight: bold; text-align: left; padding-left: 30px; }
      
#prev a {text-decoration: none;}

#next {font-size: 16px;font-weight: bold; text-align: right; padding-right: 30px;} 
           
#next a {text-decoration: none;}


/* ----------------------------------------------- */
/*            W3 styles buttons      	           */
/*  https://www.w3schools.com/css/css3_buttons.asp */         
/*              cvw 15-03-2019                       */
/* ----------------------------------------------- */

.btn-group {
  margin-left:32px;  
/*border-left: 2px solid #ff9800;*/
  border-left: 2px solid #707070;
  color: white;
/*  padding: 15px 32px;
  text-align: center;
  text-decoration: none;
  display: inline-block;*/
  font-size: 16px;
  cursor: pointer;
}



ol.a {list-style-type:lower-alpha;}
ol.b {list-style-type:decimal;}
ol.c {list-style-type:lower-roman;}
ul.b {list-style-type: square;}
ul.d {list-style-type:disc;}

/* ------------------------------------------------------------ */
/*  color theme-orange generated by 				*/	
/*  https://www.w3schools.com/w3css/w3css_color_generator.asp 	*/
/*  16-08-2019                     				*/
/* ------------------------------------------------------------ */

.w3-theme_orange-l5 {color:#000 !important; background-color:#fff9f0 !important}
.w3-theme_orange-l4 {color:#000 !important; background-color:#ffebcc !important}
.w3-theme_orange-l3 {color:#000 !important; background-color:#ffd699 !important}
.w3-theme_orange-l2 {color:#000 !important; background-color:#ffc266 !important}
.w3-theme_orange-l1 {color:#000 !important; background-color:#ffad33 !important}
.w3-theme_orange-d1 {color:#fff !important; background-color:#e68a00 !important}
.w3-theme_orange-d2 {color:#fff !important; background-color:#cc7a00 !important}
.w3-theme_orange-d3 {color:#fff !important; background-color:#b36b00 !important}
.w3-theme_orange-d4 {color:#fff !important; background-color:#995c00 !important}
.w3-theme_orange-d5 {color:#fff !important; background-color:#804d00 !important}

.w3-theme_orange-light {color:#000 !important; background-color:#fff9f0 !important}
.w3-theme_orange-dark {color:#fff !important; background-color:#804d00 !important}
.w3-theme_orange-action {color:#fff !important; background-color:#804d00 !important}

.w3-theme_orange {color:#000 !important; background-color:#ff9800 !important}
.w3-text-theme_orange {color:#ff9800 !important}
.w3-border-theme_orange {border-color:#ff9800 !important}

.w3-hover-theme_orange:hover {color:#000 !important; background-color:#ff9800 !important}
.w3-hover-text-theme_orange:hover {color:#ff9800 !important}
.w3-hover-border-theme_orange:hover {border-color:#ff9800 !important}

/* ------------------------------------------------------------ */
/*                 Math ML styles                               */
/* ------------------------------------------------------------ */

math, math[mode="inline"] {
  display: inline;
  font-family: CMSY10, CMEX10, Symbol, Times;
  font-style: normal;font-size: 130%;
}
math[mode="display"] {
  display: block;
  text-align: center;
  font-family: CMSY10, CMEX10, Symbol, Times;
  font-style: normal; font-size: 150%;
  margin-left: auto;
  margin-right: auto;
}
math *.[mathsize="small"] {
  font-size: 80%
}
math *.[mathsize="big"] {
  font-size:  125%
}


