/* --------------------------------------------------------------- */
/*                       W3.CSS Template                	   */
/*                       cvw 17-04-2021                            */
/*  https://www.w3schools.com/w3css/tryw3css_templates_webpage.htm */
/* --------------------------------------------------------------- */

html,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;}

.w3-sidebar { 
  z-index: 3;
  width: 260px;
  top: 0;
  bottom: 0;
  padding-left:20px;
  height: inherit;
}

#mySidebar {font-size: 16px;}
#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;}

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; background-color:#e6e6e6;
}

div.impeq {margin-left: 0px; border-left: 4px solid #ff9800; background-color:#e6e6e6;
}

div.def {margin-left: 0px;
     border-left: 4px solid #707070; 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;}

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}


