/* finexec_web.css
Updated: 2022 7 14
Styles that apply to Finexec web pages.
* { = applies to all elements
.zzz = class
#zzz = ID
Colors rgb(r,g,b)
*/

*{font-family:"calibri";} 
body {margin-left: 20px;margin-right: 20px;background-color:rgb(250,250,220);}

h1,h2,h3,h4 {font-weight:bold;margin-top:0px;margin-bottom:0px;}

/* href links */
a {color:rgb(0,0,255);}
a:hover:hover {color:rgb(255,255,255);background-color:rgb(255,0,0);}

/* Heading background colors */
.HDR1 {background-image:linear-gradient(90deg,rgb(215,255,215),rgb(0,215,0));padding-top:4px;}
.HDR1w {background-image:linear-gradient(90deg,rgb(255,150,0),rgb(0,215,0));padding-top:4px;}

/* Modify headings */
.H {border-bottom:1px solid rgb(0,0,0);background-color:rgb(225,255,215);padding:2px;}
.Ha{border:1px solid rgb(0,0,0);background-color:rgb(225,255,215);padding:5px;}
.Hw{border-bottom:1px solid rgb(0,0,0);background-color:rgb(255,255,255);padding:2px;}

/* Worked Examples */
.WE {background-color:rgb(255,255,175);color:rgb(0,0,255);font-family:"courier new","courier","monospace";}