/* --------------------------------------------------------------- */
/*                       W3.CSS Template                	   */
/*                       cvw 03-12-2021/10-10-24                            */
/*  https://www.w3schools.com/w3css/tryw3css_templates_webpage.htm */
/* --------------------------------------------------------------- */

body{max-width:1600px;}

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: 16px;font-weight: bold;font-style: italic;}

/* h3 {font-variant: small-caps;} */

.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;}

.center {
  margin-left: auto;
  margin-right: auto;
  text-align: center;
}

.hidden {display: none;}


/*------------------------------------------------------------ */
/*                Section, article, paragraph                  */
/*------------------------------------------------------------ */

section {font-size: 1.2em; padding-top:20px; padding-left:40px;padding-right: 40px; padding-bottom: 40px;vertical-align: top;
}

article {
  margin-left: 40px; 
  /*padding: 12px;*/
  font-size: 16px;  
}

p {padding-top: 4px; padding-bottom: 2px;
}

#sub {width: 30px; font-size: 1em; font-weight: bold; border-right: 2px solid #707070; border-bottom: 2px solid #707070;
}

/*------------------------------------------------------------ */
/*                Header, definition, equation, footer         */
/*------------------------------------------------------------ */

div.header {margin-left: 40px; cursor: pointer;
     border-left: 4px solid #ff9800; border-bottom: 2px solid #ff9800
}

/* On mouse over */
.header:hover {background-color: #ffebcc; /* theme_orange-l4 */
}

div.num {width:40px;
}

/* dd 131024 background-color:#e6e6e6 to w3-theme_grey-l4 :#ececec*/
div.eq {margin-left: 0px; background-color:#ececec;
}

div.impeq {margin-left: 0px; border-left: 4px solid #ff9800; background-color:#ececec;
}

div.def {margin-left: 0px;
     border-left: 4px solid #707070; background-color:#ececec;
}

#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;}

#bib {font-size: 16px;font-weight: bold; padding-left: 40px;} 

/* #pagenr {font-size: 18px;font-weight: bold; text-align: center; padding-right: 80px;} */

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}

/* ------------------------------------------------------------ */
/*  color theme-grey generated by 				*/	
/*  https://www.w3schools.com/lib/w3-theme-grey.css     	*/
/*  13-10-2024                     				*/
/* ------------------------------------------------------------ */

.w3-theme_grey-l5 {color:#000 !important; background-color:#f9f9f9 !important}
.w3-theme_grey-l4 {color:#000 !important; background-color:#ececec !important}
.w3-theme-l3 {color:#000 !important; background-color:#d8d8d8 !important}
.w3-theme-l2 {color:#000 !important; background-color:#c5c5c5 !important}
.w3-theme-l1 {color:#000 !important; background-color:#b1b1b1 !important}
.w3-theme-d1 {color:#fff !important; background-color:#8e8e8e !important}
.w3-theme-d2 {color:#fff !important; background-color:#7e7e7e !important}
.w3-theme-d3 {color:#fff !important; background-color:#6f6f6f !important}
.w3-theme-d4 {color:#fff !important; background-color:#5f5f5f !important}
.w3-theme-d5 {color:#fff !important; background-color:#4f4f4f !important}

.w3-theme-light {color:#000 !important; background-color:#f9f9f9 !important}
.w3-theme-dark {color:#fff !important; background-color:#4f4f4f !important}
.w3-theme-action {color:#fff !important; background-color:#4f4f4f !important}

.w3-theme {color:#fff !important; background-color:#9e9e9e !important}
.w3-text-theme {color:#9e9e9e !important}
.w3-border-theme {border-color:#9e9e9e !important}

.w3-hover-theme:hover {color:#fff !important; background-color:#9e9e9e !important}
.w3-hover-text-theme:hover {color:#9e9e9e !important}
.w3-hover-border-theme:hover {border-color:#9e9e9e !important}