/* GRAFOS/2019-0328/style.css */
BODY {
  margin-left: 5%;
  margin-right: 5%;
  background: white;
  color: #552800; /*yoshi*/
  color: #000050; /*my traditional black-blue*/
  color: black;
  padding: 0; /*to appease Microsoft IE*/
  text-align: left;
  font-size: 110%;
  font-family: "URW Bookman L", "Century Schoolbook L", "Book Antiqua", "Comic Sans MS", "Garamond", "TeXGyrePagella", "DejaVu Serif", "Purisa", serif; 
}
a:link {
  color: #0000e0; /*blue*/
  text-decoration: underline;
} 
a:visited {
  color: #0000c0; /*blue*/
  text-decoration: none;
}
a:hover { /* Must come after :link and :visited */
  color: red;
  text-decoration: underline;
}
a:active {
  color: red;
  text-decoration: none;
} 
p.header {
  border-top: 0px solid black;
  margin: -0.2em 0.0em 2.0em 0.0em;
  padding: 0.0em 0.0em 0.0em 0.0em; 
  text-align: right;
  font-size: 0.80em;
  border-bottom: 0px solid black;
}
h2 {
  margin-top: 1.5em;
  margin-bottom: 0em;
}
h3 {
  margin-top: 1.5em;
}
h3.exr {
  margin-top: 4em;
  margin-bottom: 0em;
}
span.nw {
  white-space: nowrap;
}
.aula {
/*font-variant: small-caps;*/
  font-size: 18px;
  font-size: 0.95em;
  font-weight: bold;
}
.smallcaps {
   font-variant: small-caps;
}
.bar { /*complement*/
  text-decoration: overline;
}
div.small {
  font-size: 0.87em;
}
p.center {
  text-align: center;
}
p.small {
  font-size: 0.87em;
}
p.inlineH3 {
  margin-top: 1.5em;
}
div.large {
   font-size: 1.05em;
}
div.clear {
  clear: both;
}
dfn {
  background: #ffffb0;
  font-style: italic;
}
tt, pre { 
  font-family: monospace, monospace;
  font-style: normal;
  font-size: 1.0em; /*em, not rem; will be modified later*/
}
tt {
  white-space: nowrap;
  font-size: 0.91em;
}
tt.wrap { 
  white-space: normal;
}
tt.ws { /*nowrap inherited*/
  word-spacing: -0.3em;
}
pre {
  font-size: 0.90em;
  font-size: 0.87em;
  color: black;
}
pre.small {
  font-size: 0.82em;
}
pre.sp { 
   margin-top: 1.5em;
   margin-bottom: 1.5em;
}
pre.ind {
  margin-left: 2em;
}
pre.names-marks {
  font-size: 0.80em;
}
pre.normalfont {
  font-family: normal; /*not monospaced*/
  white-space: pre; /*redundant*/
}
span.doc { 
/*color: #ff4040; red */
  color: #c04010;
/*font-style: italic;*/
  font-weight: normal;
}
span.highlight {
   background: #ffffb0; 
}
.red {
   color: red; 
   font-weight: bold;
}
.strike { /* <s> illegal */
   text-decoration: line-through;
}
.invis {
   display: none;
}
.red {
   color: #e00000;
}
.orange {
  color: #a83000; /* darker brown-orange */ 
  color: #b04010;
}
.dim { 
  color: #a8a8b0; 
  color: #70a0a0;
}
.hide { 
  color: #606060;
  background-color: #e4e0ff;
}
/*
p.exr {
  margin-top: 1em;
}
*/
ol.ABC {
  list-style-type: upper-latin;
}
ol.abc {
  list-style-type: lower-latin;
}
ol.iii {
  list-style-type: lower-roman;
}
li.exr {
  margin-top: 1.5em;
}
li.exr p.display {
  margin-top: 0.5em;
  margin-bottom: -0.5em;
  text-align: center;
}
span.exrtitle {
  font-style: italic;
}
/*
span.bold-number { 
  font-size: 1.05em;
  font-weight: bold;
}
*/
div.box {
  margin: 2.0em 1.5em 0.5em 0.5em;
  padding: 0.05em 0.5em 0.5em 0.5em;
  font-size: 0.87em;
  color: #404040;
  background-color: #e0e0e0;
}
dl {
  margin-left: 0em;
}
dt {
  margin-top: 0.5em;
}
dd {
  margin-left: 2em;
}
li.sp {
  margin-top: 0.2em;
}
li.ssp {
  margin-top: 1.0em;
}
li.sssp {
  margin-top: 3.0em;
}
/*** figures ***/
div.tA {
   margin-top: 0.5em;
}
div.bA {
   margin-bottom: 0.5em;
}
div.tB {
   margin-top: 1.0em;
}
div.bB {
   margin-bottom: 1.0em;
}
div.tBB {
   margin-top: 1.5em;
}
div.bBB {
   margin-bottom: 1.5em;
}
div.tC {
   margin-top: 2.0em;
}
div.bC {
   margin-bottom: 2.0em;
}
div.tCC {
   margin-top: 3.0em;
}
div.bCC {
   margin-bottom: 3.0em;
}
div.tD {
   margin-top: 4.0em;
}
div.bD {
   margin-bottom: 4.0em;
}
div.tDD {
   margin-top: 5.0em;
}
div.bDD {
   margin-bottom: 5.0em;
}
div.tE {
   margin-top: 6.0em;
}
div.bE {
   margin-bottom: 6.0em;
}
div.figure-r {
  float: right;
  text-align: right;
/*font-size: 60%;*/
/*line-height: normal;*/ /*this is the default, +-120%*/
/*line-height: 130%;*/
  margin-left: 1.0em;
  margin-right: 0em;
  border: 0px solid blue; /*scaffold*/
}
p.figure-r {
  margin: 0em 0em 0em 0em;
}
div.figure-c {
  text-align: center;
  border: 0px solid blue; /*scaffold*/
}
p.figure-c {
}
div.figure-l {
  float: left;
  text-align: left;
/*font-size: 60%;*/
/*line-height: normal;*/ /*this is the default, +-120%*/
/*line-height: 130%;*/
  margin: 0em 1em 0em 0em;
  border: 0px solid blue; /*scaffold*/
}
p.figure-l {
}
img.noborder {
  vertical-align: baseline;
  vertical-align: middle;
  vertical-align: bottom;
  vertical-align: top;
  border: 0px solid black;
}
img.border {
  vertical-align: baseline;
  vertical-align: middle;
  vertical-align: bottom;
  vertical-align: top;
  border: 1px solid black;
}
img.h40 { 
  height: 40px;
}
img.h45 { 
  height: 45px;
}
img.h50 { 
  height: 50px;
}
img.h55 { 
  height: 55px;
}
img.h60 { 
  height: 60px;
}
img.h65 { 
  height: 65px;
}
img.h70 { 
  height: 70px;
}
img.h75 { 
  height: 75px;
}
img.h80 { 
  height: 80px;
}
img.h83 { 
  height: 83px;
}
img.h85 { 
  height: 85px;
}
img.h90 { 
  height: 90px;
}
img.h95 { 
  height: 95px;
}
img.h100 { 
  height: 100px;
}
img.h105 { 
  height: 105px;
}
img.h110 { 
  height: 110px;
}
img.h115 { 
  height: 115px;
}
img.h120 { 
  height: 120px;
}
img.h130 { 
  height: 130px;
}
img.h140 { 
  height: 140px;
}
img.h150 { 
  height: 150px;
}
img.h160 { 
  height: 160px;
}
img.h170 { 
  height: 170px;
}
img.h180 { 
  height: 180px;
}
img.h190 { 
  height: 190px;
}
img.h200 { 
  height: 200px;
}
img.h210 { 
  height: 210px;
}
img.h250 { 
  height: 250px;
}
img.h270 { 
  height: 270px;
}
img.h300 { 
  height: 300px;
}
img.h340 { 
  height: 340px;
}
img.h350 { 
  height: 350px;
}
img.h370 { 
  height: 370px;
}
img.h380 { 
  height: 380px;
}
img.h390 { 
  height: 390px;
}
img.h400 { 
  height: 400px;
}
img.h450 { 
  height: 450px;
}
img.h500 { 
  height: 500px;
}
div.footer {
  margin-top: 6em;
  margin-bottom: 10em;
  font-size: 0.80em;
}
div.footer hr {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}
div.footer ul {
  margin-top: 0em;
  margin-bottom: 0em;
}
div.footer li {
  margin-top: 0em;
}
div.footer p {
  margin-top: 0em;
  margin-bottom: 0em;
}
div.footer p.validator {
  margin-top: 0em;
  text-align: right;
}
div.footer img.r {
  border: 0;
  /*width:  88px;*/
  /*height: 31px;*/
  width:  77px;
  height: 28px;
  padding-left: 10px;
/*float:  right;*/
  text-align: right;
}
div.propaganda {
  margin-top: 3em;
  margin-bottom: 10em;
  font-size: 0.75em;
}
div.beyondend {
  background-color: #e8e8e8;
  margin-top: -5em;
}

/***********************************************************/
/******** style for lectures (uncomment) *******************
BODY {
  margin-left: 3%;
  margin-right: 2%;
  font-size: 140%;
  line-height: 140%;
  font-family: "Helvetica"; 
}
h1{
  margin-top: 4em;
  margin-bottom: 4em;
}
h2 { 
  margin-top: 4em;
  margin-bottom: 0em;
}
p {
  margin-top: 2em;
  line-height: 150%;
}
.hide { 
  display: none;
}
hr.footer {
  margin-top: 50em;
  margin-bofttom: 10em;
}
p.footer {
  margin-top: 0em;
  font-size: 0.60em;
  display: invisible;
}
div.footer {
  margin-top: 30em;
  margin-bottom: 30em;
  display: none;
}
p.validator {
  margin-top: 0em;
  display: none;
}
img.tidy { 
  height: 0.43em;
  width:  1.05em;
  padding-left: 5px;
}
img.w3 { 
  height: 0.70em;
  width:  1.90em;
  padding-left: 5px;
}
div.beyondend {
  display: none;
}
*********** end of lectures style ************************/