/* 
GRAFOS/algoritmos_para_grafos/aulas/code.css 
Estilos sem classe podem ser especificados com ".default"? 
*/
HTML {
  hyphens: auto; /*needs HTML lang="pt"*/
  font-family: "URW Bookman L", 
               Palatino, 
               "DejaVu Serif", 
               "Book Antiqua", 
               "Century Schoolbook L",
               "TeXGyrePagella", 
               "Garamond", 
               Bookman, 
               "Cambria", 
               "Comic Sans MS", 
               "Brush Script MT",
               "Lucida Handwriting",
               serif; 
  font-size: 20px; /*master font-size for whole desktop site*/
  /*default font-size is 16px*/
}
/***
 "Georgia" is bad because "0" is like "o"
 "Bookman Old Style" not too good: overlaps some letters, 
    like "<var>g</var>" e "+")
***/
BODY {
/*background: #ffffe0; light yellow*/
/*background: #f0f0f0; light gray*/
  background: white;
  color: #000030;
  margin-left: 5%;
  margin-right: 5%;
  padding: 0em; /*to appease Microsoft IE*/
  font-size: 1.0em; /*1.0 x 20px = 20px*/
  word-spacing: 1.3px; /*1.3px 1.5px=0.08em 0.03em 0.25em*/
  letter-spacing: 0.5px; /*0.4px 0.5px*/
}
h1 {
   margin-top: 3em;
   color: #000060; 
  hyphens: none;
}
h2 {
   margin-top: 2em;
   color: #b04010; /* brown-orange */ 
  hyphens: none;
}
h3 {
   margin-top: 2em;
   margin-bottom: 0em;
   color: #c04010; /* brown-orange */ 
  hyphens: none;
}
h4 {
   margin-top: 1.5em;
   margin-bottom: 0em;
   color: #c04010; /* brown-orange */ 
  hyphens: none;
}
table.remissivo { /*deprecated*/
  margin-top: 0em;
  margin-bottom: 1em;
  width: 80%;
  margin-left: auto;
  margin-right: auto;
  border-collapse: collapse;
  border-collapse: separate;
  border-spacing: 1em 0px; /*h v*/
  font-size: 0.85em;
  border: 0px solid black;
}
td.remiss { /*deprecated*/
   padding: 0.2em 0em 0.2em 0em;
   text-align: left;
 /*width: 40%;*/
   vertical-align: top;
   border: 0px solid black;
}

.alvo:target { /* add "class=alvo" to id */
  background-color: #ffffd0;
  background-color: rgba(0,127,255,0.133);
  background-color: #DFF;
  background-color: #ffe8e8;
  background-color: #fff0f0;
}
/***
  a span {
    display: none;
  }
  a:hover span {
    color: #000000;
    padding: 1px;
    width: 50em;
    height: 10em
    border: 1px solid #000000;
    background: #b0ffe0;
    left: 10px;
    top: 10px;
    display: block;
    position: relative;
    text-align: left;
  }
***/
p.header {
  margin-top: -0.4em;
  padding: 0.2em 0.4em 0.2em 0.4em; 
/*background: #f0d0a0;*/
  color: #b02000; 
  text-align: right;
  font-size: 0.80em;
  border-bottom: 2px solid #b02000;
}
p.header a:link {
/*cursor: help;*/
/*color: #0000e0;*/
  color: #b02000; 
  text-decoration: none;
} 
p.header a:visited {
/*cursor: help;*/
/*color: #0000e0;*/
  color: #b02000; 
  text-decoration: none;
}
p.header a:hover {
/*color: white;*/
  color: black;
  text-decoration: underline;
  text-decoration: none;
}
p.header a:active {
  color: blue;
  text-decoration: none;
} 
p.epigraph {
  margin-top: 1.0em;
  margin-bottom: 0em;
  text-align: right;
  font-size: 0.85em;
  word-spacing: 0px;
  letter-spacing: 0px;
}
p.epigraphsignature {
  margin-top: 0em;
  margin-bottom: 2em;
  text-align: right;
  font-size: 0.85em;
  word-spacing: 0px;
  letter-spacing: 0px;
}
div.minitoc {
  margin: 2em 2em 2em 0em;
  font-size: 0.80em;
  hyphens: none;
}
div.minitoc ul {
  margin-top: 0.0em;
}
div.minitoc li {
  margin-top: 0.1em;
}
div.progframed {
  border-top: 1px solid #c0c0c0;
  border-right: 1px solid #f0f0f0;
  border-bottom: 1px solid #c0c0c0;
  border-left: 1px solid #c0c0c0;
  margin: 2em 2em 2em 2em;
  padding: 0.1em 1em 0.1em 1em;
/*background-color: #ffffe4; */
  background-color: #ffffff;
}
div.prog {
   margin: 1.5em 2em 1.5em 3em;
/* background-color: #ffffe4; */
/* background-color: #ffffff; */
   border: 0px solid green; /*scaffold*/
}
div.pseudocode {
  margin: 1.5em 0em 1.5em 0rem; /*rem*/
  font-size: 0.90em;
  white-space: nowrap;
   hyphens: none;
  border: 0px solid black; /*scaffold*/
}
div.pseudocode ul {
  margin: 0em 0em 0em 0em;
  list-style-type: none;
  border: 0px solid red; /*scaffold*/
}
div.pseudocode ul li.sp {
  margin: 0em 0em 0em 0em;
  border: 0px solid black; /*scaffold*/
}
div.pseudocode ul li.ssp {
  margin: 0.3em 0em 0em 0em;
  border: 0px solid black; /*scaffold*/
}
div.pseudocode ul ul li.sp {
  margin: 0.2em 0em 0em 0em;
  border: 0px solid black; /*scaffold*/
}
div.newpseudocode { /*not used*/
  margin: 1.0em 0em 1.0em 2rem;
/*white-space: nowrap;*/
  hyphens: none;
  border: 0px solid black; /*scaffold*/
}
div.newpseudocode li { /*not used*/
/*margin: 0.2em 2em 0em 0em;*/
  margin: 0.2em 0em 0em 0em;
}
div.newpseudocode li.nw { /*not used*/
  white-space: nowrap; /*hack*/
  hyphens: none;
  margin: 0.2em 0em 0em 0em;
}
ol.newpseudocode {
  margin: 1.2em 0em 1.2em 2rem;
/*margin: 1.2em -2em 1.2em 2rem; maybe*/
/*white-space: nowrap;*/
  hyphens: none;
  border: 0px solid black; /*scaffold*/
}
ol.newpseudocode li {
  margin: 0.2em 0em 0em 0em;
/*margin: 0.2em -2em 0em 0em; maybe*/
}
ol.newpseudocode li.nw {
  white-space: nowrap; /*hack*/
  hyphens: none;
  margin: 0.2em 0em 0em 0em;
/*margin: 0.2em -2em 0em 0em; maybe*/
}
ol.newpseudocode ul {
  list-style-type: none;
}
ul.newpseudocode { /*almost not used*/
  margin: 1.0em 0em 1.2em 1.5rem;
/*white-space: nowrap;*/
  list-style-type: none;
  hyphens: none;
  border: 0px solid black; /*scaffold*/
}
ul.newpseudocode li { /*almost not used*/
  margin: 0.2em 0em 0em 0em;
}
ul.newpseudocode ul { /*almost not used*/
  list-style-type: none;
}
div.proof {
   border-width: 0px;
   margin: 1.5em 3em 1.5em 3em;
}
div.box {
  margin: 1.0em 1.5em 1.5em 0.5em;
  padding: 0.05em 1.0em 0.05em 1.0em;
  font-size: 0.90em; /*same as div.exr*/
  color: #404040;
  background-color: #e8e8e8;
}
div.boxinappendix {
  margin: 0em 1em 1.0em 0em;
  padding: 0.05em 1.0em 0.05em 1.0em;
  font-size: 0.80em;
  color: #404040;
  background-color: #f0f0f0;
}
div.marginalbox {
  margin: 0em 0em 0.5em 1.2em;
  padding: 0.0em 0.5em 0em 0.5em;
  float: right;
  font-size: 0.85em;
  color: #404040;
  background-color: #f0f0f0;
}
div.clearmarginalbox {
  margin: 0.0em 0.5em 0.5em 1.5em;
  padding: 0.0em 0.0em 0em 0.0em;
}
div.clear {
  clear: both;
}
div.float {
  float: right;
}
div.tN {
    margin-top: -4em;
}
div.tZ {
    margin-top: 0em;
}
div.bZ {
   margin-bottom: 0em;
}
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.CC {
   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;
}
a:link {
/*cursor: help;*/
/*color: #cceeff; */
/*color: #554433; brown? */
/*color: #8000e0; light purple */
  color: #0000d0;
  text-decoration: none;
} 
a:visited {
/*cursor: help;*/
/*color: #00b0b0; */
/*color: #0040a0; */
/*color: #551a8b; default color */
/*color: #6000e0;*/
  color: #4000c0;
  text-decoration: none;
}
a:hover {
  color: red;
  text-decoration: underline;
}
a:active {
  color: red;
  text-decoration: underline;
} 
a:target {
  background-color: #ffffd0;
} 
a:link kbd {
/*cursor: help;*/
  color: #0000d0;
  text-decoration: none;
/*text-decoration: underline;*/
} 
a:visited kbd {
/*cursor: help;*/
/*color: #6000e0;*/
  color: #0000b0;
  text-decoration: none;
/*text-decoration: underline;*/
}
a:hover kbd {
  color: red;
  text-decoration: underline;
}
a:active kbd {
  color: red;
} 
dfn {
  background: #ffffc8;
/*font-weight: bold; */ 
 font-style: italic;
}
dfn.notation {
  background: #ffffb0;
/*font-weight: bold; */ 
  font-style: normal;
  white-space: nowrap;
}
.blood {
  color: #c04010; /* brown-orange */ 
  color: #f04010; /* brown-orange */ 
  color: #b00000; 
  color: #c00000;
}
.orange {
  color: #a02000; /* brown-orange */ 
  color: #c04010; /* brown-orange */ 
}
.blue {
  color: blue;
  color: #0000ff;
}
.bf {
  font-weight: bold;
}
.nw {
  white-space: nowrap;
  hyphens: none;
}
.strike {
  text-decoration: line-through;
}
.inline {
  display: inline;
}
.hide { 
  /* color: #00b000; */
  color: #808080;
  background-color: #d0ffd0;
}
.lectureonly { 
  background-color: #ffffc0;
  margin: 3em 0em 3em 1em;
/*display: none;*/
}
.invis {
  visibility: hidden;
}
.letterspacing {
  letter-spacing: 3px;
}
.sc {
/*text-transform: uppercase; */
  font-variant: small-caps;
}
.bar { /*complement*/
  text-decoration: overline;
}
.dim { 
  color: #a0a0a0;
  color: #98a0a0;
}
.dim a:link {
/*cursor: help;*/
  color: #4040e0;
  color: #8080d0;
  color: #4060f0;
  text-decoration: none;
} 
.dim a:visited {
/*cursor: help;*/
  color: #4040e0;
  color: #8080d0;
  color: #4060f0;
  text-decoration: none;
}
.dim a:hover {
  color: red;
  text-decoration: none;
  text-decoration: underline;
}
.dim a:active {
  color: red;
  text-decoration: underline;
} 
.dim kbd {
/*color: #808080;*/
  /*color: #606060;*/ 
}
.dim a:link kbd {
/*cursor: help;*/
  color: #4040e0;
  text-decoration: none;
  text-decoration: underline;
} 
.dim a:visited kbd {
/*cursor: help;*/
  color: #4040e0;
  text-decoration: none;
  text-decoration: underline;
}
/*  kbd and pre */
kbd, pre {
  font-family: "Courier New", 
               "Courier 10 Pitch", 
               "Inconsolata", 
               "Consolas", 
               "Droid Sans Mono", 
               "Lucida Console", 
               "Liberation Mono", 
               "Monaco", 
               "DejaVu Sans Mono", 
               monospace, monospace;
  word-spacing: 0px;
  letter-spacing: 0px;
  font-size: 1.0em; /*em, not rem, not px; modified later*/
}
kbd { 
  white-space: nowrap;
/*white-space: pre;*/ /*preserves white space; wraps on newline only*/
/*color: black;*/ /*do not specify color in classless kbd */
  font-size: 0.90em; /*em, not rem, not px*/
}
kbd.wrap { 
/*white-space: pre-wrap;*/ /*no! breaks on newline*/
  white-space: normal;
}
kbd.ws {  
  word-spacing: -0.3em;
}
pre {
  font-size: 0.85em;
  /*color: #000010;*/
}
pre.ind {
  margin-left: 4rem; /*rem, same as p.ind*/
}
pre.large {
  font-size: 0.95em;
}
kbd.small, pre.small {
  font-size: 0.80em; /*em, not rem, not px*/
}
pre.smalltree {
/* line-height: normal;*/ /*this is the default*/
  line-height: 1.15em;
  font-size: 0.75em; /*em, not rem, not px*/
}
pre.verysmall {
  font-size: 0.70em; /*em, not rem, not px*/
}
pre.sp {
  margin-top: 1.8em;
  margin-bottom: 1.8em;
}
pre.wideline {
/* line-height: normal;*/ /*this is the default*/
  line-height: 150%;
}
pre.code {
  font-weight: normal;
  font-size: 0.85em;
}
pre.code span.k { /* keyword in code */
/* color: #808080; */
/* color: #0000b0; */
   color: #7070e0;
}
pre.code span.t { /* text string in code */
  font-weight: normal;
  color: #a0a0a0;
}
pre.code a:link {
/*cursor: help;*/
/*color: #7000b0;*/
/*color: #800060;*/
  color: black;
  text-decoration: underline;
} 
pre.code a:visited {
/*cursor: help;*/
/*color: #7000b0;*/
/*color: #800060;*/
  color: black;
  text-decoration: underline;
}
pre.code a:hover {
  color: red;
  text-decoration: underline;
}
pre.code a:active {
  color: red;
} 
pre.codedim { 
  color: #808080;
  color: #606060;
}
pre.codedim span.k { /* keyword in code */
/* color: #808080; */
/* color: #0000b0; */
   color: #7070e0;
}
pre.codedim span.t { /* text string in code */
  color: #a0a0a0;
}
pre.codedim b {
  color: black;
  font-weight: bold;
}
pre.codedim a:link {
/*cursor: help;*/
/*color: #7000b0;*/
/*text-decoration: none;*/
  color: black;
  text-decoration: underline;
} 
pre.codedim a:visited {
/*cursor: help;*/
/*color: #7000b0;*/
/*text-decoration: none;*/
  color: black;
  text-decoration: underline;
}
pre.codedim a:hover {
  color: red;
  text-decoration: underline;
}
pre.codedim a:active {
  color: red;
} 
pre.framed { /*used in solutions only*/
  margin: 1em 1em 1em 1em;
  padding: 0.5em 0.5em 0.5em 0.5em;
  border-top: 1px solid #c0c0c0;
  border-right: 1px solid #f0f0f0;
  border-bottom: 1px solid #c0c0c0;
  border-left: 1px solid #c0c0c0;
  font-style: normal;
  /*color: black;*/
}
pre.normalfont { /*experimental, in prim.html only*/
  font-family: normal; /*not monospaced*/
}
pre.doc {
  white-space: normal; /*yes!*/
  color: #c04010;
  font-style: italic;
  font-size: 0.80em;
}
pre.doc a:link {
/*cursor: help;*/
/*color: #b010c0;*/
/*color: #b00060;*/
/*color: #b000a0;*/
/*color: #c04010;*/
  color: #c04010;
  text-decoration: underline;
} 
pre.doc a:visited {
/*cursor: help;*/
/*color: #c050a0;*/
/*color: #b00060;*/
/*color: #b000a0;*/
/*color: #c04010;*/
  color: #c04010;
  text-decoration: underline;
}
pre.doc a:hover {
  color: red;
  text-decoration: underline;
}
pre.doc a:active {
  color: red;
  text-decoration: underline;
} 
span.doc { 
/*color: #ff4040; red */
  color: #c04010;
  font-style: italic;
  font-weight: normal;
}
span.doc a:link {
/*cursor: help;*/
/*color: #b010c0;*/
/*color: #b00060;*/
/*color: #b000a0;*/
/*color: #c04010;*/
  color: #c04010;
  text-decoration: underline;
} 
span.doc a:visited {
/*cursor: help;*/
/*color: #c050a0;*/
/*color: #b00060;*/
/*color: #b000a0;*/
/*color: #c04010;*/
  color: #c04010;
  text-decoration: underline;
}
span.doc a:hover {
  color: red;
  text-decoration: underline;
}
span.doc a:active {
  color: red;
  text-decoration: underline;
} 
pre.doc kbd {
  color: #801000;
  color: #a01000;
  white-space: nowrap;
  font-style: normal;
  font-size: 1.0em; /*equal to surrounding pre.doc*/
}
span.doc kbd {
  color: #801000;
  color: #a01000;
  font-style: normal;
  font-size: 1.0em; /*equal to surrounding stuff*/
}
.doc a:link kbd {
/*color: #0000ff;*/
/*color: #a01080;*/
/*color: #b000a0;*/
  color: #a01000;
  text-decoration: none;
  text-decoration: underline;
} 
.doc a:visited kbd {
/*color: #6000e0;*/
/*color: #0000e0;*/
/*color: #c04060;*/
/*color: #b000a0;*/
  color: #a01000;
  text-decoration: none;
  text-decoration: underline;
}
.doc a:hover kbd {
  color: red;
  text-decoration: none;
  text-decoration: underline;
}
.doc a:active kbd {
  color: red;
  text-decoration: underline;
} 
pre.docdim { /* unimportant doc */
  white-space: normal; /*yes!*/
  color: #b07050;
  color: #d0a0a0;
  font-style: italic;
  font-size: 0.80em;
}
pre.docdim kbd {
  /*color: #c08080;*/
  white-space: nowrap;
  font-style: normal;
  font-size: 1.0em; /*equal to surrounding pre.docdim*/
}
span.docdim { 
  color: #b07050;
  color: #d0a0a0;
  font-style: italic;
  font-weight: normal;
}
span.docdim kbd {
  /*color: #c08080;*/
  font-style: normal;
  font-size: 1.0em; /*equal to surrounding stuff*/
}
var.tt { /*just for the performances V E log V*/
  font-family: monospace;
  font-style: normal;
  font-size: 1.10em;
}
p.ind {
  margin-left: 4rem; /*same as pre.ind*/
  margin-left: 2.3em; /*same as div.thm plus padding*/
}
p.display {
  text-align: center;
}
div.thmhlt { /* theorem with highlighted background */
  margin: 1.5em 1.0em 1.5em 2.0em;
  padding: 0.0em 0.3em 0.0em 0.3em;
/*background-color: #ffffe4;*/
}
div.thm { /* theorem */
  margin: 0.0em 0em 0.0em 2.0rem;
  padding: 0.0em 0.3em 0.0em 0.3em;
}
span.small { /* not used? */
  font-size: 0.75em;
}
p.small {
  font-size: 0.85em;
}
p.sp {
  margin-top: 0.4em;
}
.inlineH3 {
  margin-top: 2em;
}
p.right {
  text-align: right;
  font-size: 0.85em;
}
p.exr { /* exercise */
  margin-top: 1.5em;
  margin-bottom: 1.5em;
}

/*** OLD
sup {
  font-size: 0.70em; &sup2; uses 0.6em 
  vertical-align: 0.50em;
}
sub {
  font-size: 0.85em;
  vertical-align: -0.2em; default is ca.-0.4em
}
***/

sup, sub {
/* 
https://css-tricks.com/snippets/css/prevent-superscripts-and-subscripts-from-affecting-line-height/
*/
  vertical-align: baseline; /*baseline top super*/
  position: relative;
  top: -0.4em;
  line-height: 0; /*add for sup when font is too big */
  border: 0px solid black; /*scaffold*/
}
sup {
  font-size: 0.75em; /*15px*/
  padding-left: 1px; /*use the global letter-spacing instead?*/
  top: -0.5em; /*CSS tricks*/
}
sup.pad {
  font-size: 0.70em;
  padding-left: 3px;
}
sub {
  font-size: 0.80em; /*16px*/
  top: 0.35em;
}

kbd sup {
  font-size: 0.85em; /*effectively 0.85x0.90em*/
}
kbd sub {
  font-size: 0.90em; /* same as normal kbd */
  top: 0.4em;
}
pre sub { /*probably not used*/
  font-size: 0.90em; /*em, not rem, not px*/
}


span.inlineH3 {
  color: #b04010; /* brown-orange */ 
  font-size: 1.1em;
  font-weight: bold;
}
/* around kbd
span.graybg {
  background: #ffffd0;
  background: #b0b0b0;
  padding: 0em 0.1em 0em 0.1em;
}
*/
span.attrib {
  color: #a0b0a0; 
}
span.exrtitle {
  font-style: italic;
}
ul {
  hyphens: none;
}
ul.tight {
  margin-top:-0.7em;
  margin-bottom:-0.7em;
}
ul.disc {
  list-style-type: disc;
}
ul.square {
  list-style-type: square;
}
ul.nolabel {
  list-style-type: none;
}
ul.exr { /* not used */
  margin-top: 2em;
  margin-bottom: 2em;
}
ol {
  hyphens: none;
}
ol.mar-left {
  margin-left: 1em;
}
ol.ABC {
  list-style-type: upper-latin;
}
ol.abc {
  list-style-type: lower-latin;
}
ol.iii {
  list-style-type: lower-roman;
  margin-left: 1.5em;
}
ol.exr {
  list-style-type: decimal;
  hyphens: auto;
}
ol.tight {
  margin-top:-0.7em;
  margin-bottom:-0.7em;
}
li.sp {
  margin-top: 0.2em;
  margin-right: 1em;
}
li.ssp {
  margin-top: 0.5em;
  margin-right: 1em;
}
li.exr { /*exercise*/
  margin-top: 0.7em;
}
li.exr p.display {
  margin-top: 0.5em;
  margin-bottom: -0.5em;
  text-align: center;
}
table.matrix {
  margin-top: 0.2em;
  margin-bottom: 0.7em;
  margin-left: auto; /*não funciona no Internet Explorer*/
  margin-right: auto; /*não funciona no Internet Explorer*/
  padding: 0em;
  white-space: nowrap;
  border-spacing: 1px 1px; /*distance btw borders of adjacent cells*/
  border: 0px solid black; /*scaffold*/
}
/*
table.container {
  margin-left: 0em;
  margin-top: -0.5em;
  margin-bottom: -0.5em;
  border-collapse: collapse;
  border: 0px solid black;
}
table.container td.top {
  vertical-align: top;
  border: 0px solid black;
}
table.container td.mid {
  vertical-align: middle;
  border: 0px solid black;
}
*/
dl {
  margin-left: 2em;
}
dt {
  margin-top: 0.2em;
}
dt.ssp {
  margin-top: 0.5em;
}
div.exr {
  color: #708070;
  color: #8080a0; /*same as q-and-a*/
  font-size: 0.90em; /*same as q-and-a*/
}
div.exr h2 {
   color: #e0a060; /* light brown-orange */ 
   color: #a0a0b0; /* gray */ 
}
div.exr kbd {
  /*color: #505050;*/
  font-size: 0.90em;
}
div.exr pre {
  /*color: #505050;*/
  font-size: 0.85em;
}
div.exr pre.ind {
   margin-left: 2rem;
}
div.exr pre.small {
  font-size: 0.80em;
}
div.exr a:link {
  color: #5050e0;
  text-decoration: none;
} 
div.exr a:visited {
  color: #5050d0;
  text-decoration: none;
}
div.exr a:hover {
  color: red;
  text-decoration: none;
  text-decoration: underline;
}
div.exr a:active {
  color: red;
} 
div.exr a:link kbd {
  color: #7080e0;
  text-decoration: none;
} 
div.exr a:visited kbd {
  color: #7080b0;
  text-decoration: none;
}
div.exr a:hover kbd {
  color: red;
  text-decoration: none;
  text-decoration: underline;
}
div.exr a:active kbd {
  color: red;
} 
div.figure-r {
  float: right;
  text-align: right;
  margin-left: 1.0em;
  margin-right: 0em;
  border: 0px solid blue; /*scaffold*/
}
p.figure-r-caption {
  text-align: right;
  font-size: 0.65em;
  margin: 0em 0em 0em 0em;
}
div.figure-l {
  float: left;
  text-align: left;
  margin-left: 0em;
  margin-right: 1em;
  border: 0px solid blue; /*scaffold*/
}
div.figure-c {
  text-align: center;
  margin-left: 0em;
  margin-right: 0em;
  border: 0px solid blue; /*scaffold*/
}
p.figure-c-caption {
  text-align: center;
  font-size: 0.65em;
  margin: 0em 0em 0em 0em;
}
p.figure-l-caption {
  text-align: left;
  font-size: 0.65em;
  margin: 0em 0em 0em 0em;
}
img.noborder {
/*vertical-align: baseline;*/
/*vertical-align: bottom;*/
/*vertical-align: middle;*/
  vertical-align: top;
  border: 0px solid black; /*scaffold*/
}
img.h40 { /*1*/
  height: 2.3em;
}
img.h45 { /*1*/
  height: 2.6em;
}
img.h50 { /*4*/
  height: 2.9em;
}
img.h55 { /*2*/
  height: 3.2em;
}
img.h60 { /*12*/
  height: 3.5em;
}
img.h65 { /*4*/
  height: 3.8em;
}
img.h70 { /*11*/
  height: 4.1em;
}
img.h75 { /*14*/
  height: 4.4em;
}
img.h80 { /*19*/
  height: 4.7em;
}
img.h83 { /*2*/
  height: 4.9em;
}
img.h85 { /*15*/
  height: 5.0em;
}
img.h90 { /*11*/
  height: 5.3em;
}
img.h95 { /*11*/
  height: 5.6em;
}
img.h100 { /*24*/
  height: 5.9em;
}
img.h105 { /*3*/
  height: 6.2em;
}
img.h110 { /*15*/
  height: 6.5em;
}
img.h115 { /*4*/
  height: 6.8em;
}
img.h120 { /*20*/
  height: 7.1em;
}
img.h130 { /*6*/
  height: 7.7em;
}
img.h140 { /*3*/
  height: 8.3em;
}
img.h150 { /*6*/
  height: 8.9em;
}
img.h160 { /*4*/
  height: 9.5em;
}
img.h170 { /*3*/
  height: 10.1em;
}
img.h180 { /*0.5*/
  height: 10.7em;
}
img.h190 { /*3*/
  height: 11.3em;
}
img.h200 { /*14*/
  height: 11.9em;
}
img.h210 { /*4*/
  height: 12.5em;
}
img.h220 {
  height: 14em;
}
img.h250 { /*14*/
  height: 15.5em;
}
img.h300 { /*11*/
  height: 18.5em;
}
img.h340 { /*1*/
  height: 20.9em;
}
img.h350 { /*1*/
  height: 21.5em;
}
img.h400 { /*0.5*/
  height: 24.5em;
}
img.h500 { /*4*/
  height: 30.5em;
}
img.h600 { /*0.5*/
  height: 42.5em;
}
img.star {
   height: 12px;
}

div.q-and-a {
  color: #708070; /*same as .exr*/
  color: #8080a0; /*same as .exr*/
  margin-top: 3.5em;
  margin-bottom: 2em;
  font-size: 0.90em; /*same as .exr*/
}
div.q-and-a h2 {
  margin-top: 0em;
  color: #c04010; /*brown-orange*/ 
  color: #006070; /*green*/
  color: #a0a0b0; /*same as .exr*/ 
}
div.footer {
  margin-top: 2.5em;
  margin-bottom: 30em;
  font-size: 0.85em;
  word-spacing: 0px;
  hyphens: none;
  letter-spacing: 0px;
/* line-height: normal;*/ /*this is the default*/
}
div.footer p {
  margin-top: 0em;
  margin-bottom: 0em;
}
div.footer ul {
  margin-top: 2px;
  margin-bottom: 1px;
}
div.footer li {
  margin-top: 1px;
}
div.footer p.validator {
  margin-top: 0em;
  text-align: right;
}
div.footer img.tidy { 
  border: 0px solid blue; /*scaffold*/
/*height: 16px;*/
/*width:  39px;*/
  height: 0.86em;
  width:  2.10em;
  padding-left: 5px;
/*float: right;*/
}
div.footer img.w3 { 
  border: 0px solid blue; /*scaffold*/
/*height: 31px;*/
/*width:  88px;*/
/*height: 25px;*/
/*width:  63px;*/
  height: 1.37em;
  width:  3.69em;
  padding-left: 5px;
/*float: right;*/
}
div.beyondend { /*after /html*/
  background-color: #e8e8e8;
  margin-top: -5em;
}

/**********************************************************************/
/**** uncomment before lecture ****************************************
BODY {
  margin-left: 5%;
  margin-right: 5%;
  font-size: 28px;
  line-height: 150%;
  font-family: "Helvetica";
}
p.header {
   font-size: 12px;
}
h1 {
   margin-top: 4em;
   margin-bottom: 5em;
   text-align: center;
}
h2 {
   margin-top: 8em;
   color: #c04010;
}
h3 {
   margin-top: 6em;
   color: #c04010; 
}
p.epigraph {
  display: none;
}
p.epigraphsignature {
  display: none;
}
p {
  margin-top: 4em;
  line-height: 110%;
}
kbd {
  font-weight: normal;
}
div.thm {
  border: 1px solid black;
}
pre {
  margin-top: 3em;
  margin-bottom: 3em;
  font-weight: normal;
}
pre.sp {
   margin-top: 3em;
   margin-bottom: 3em;
   font-size: 100%;
}
pre.doc {
  display: none;
}
pre.doc a:link {
  color: #c04010;
  text-decoration: none;
} 
pre.doc a:visited {
  color: #c04010;
  text-decoration: none;
}
pre.docdim {
  display: none;
}
pre.code {
  margin-top: 1em;
  margin-bottom: 1em;
  line-height: 130%;
  font-weight: bold;
}
pre.code a:link {
  text-decoration: none;
} 
pre.code a:visited {
  text-decoration: none;
}
pre.codedim {
  margin-top: 1em;
  margin-bottom: 1em;
  line-height: 110%;
}
pre.wideline {
  margin-top: 1.3em;
  margin-bottom: 1.3em;
  line-height: 140%;
}
p.inlineH3 {
  margin-top: 6em;
}
li.exr {
  margin-top: 3em;
}
.hide { 
  display: none;
}
.hidee { 
  background-color: white;
}
.lectureonly { 
  background-color: #ffffc0;
  margin: 6em 0em 6em 1em;
  display: normal;
}
div.footer {
  margin-top: 50em;
  margin-bottom: 10em;
  display: normal;
}
div.footer p {
  margin-top: 0em;
  font-size: 12px;
  display: normal;
}
div.footer p.validator {
  margin-top: 0em;
  display: normal;
}
img.h40 { 
  height: 60px;
}
img.h45 { 
  height: 65px;
}
img.h50 { 
  height: 70px;
}
img.h55 { 
  height: 75px;
}
img.h60 { 
  height: 80px;
}
img.h65 { 
  height: 85px;
}
img.h70 { 
  height: 90px;
}
img.h75 { 
  height: 100px;
}
img.h80 { 
  height: 110px;
}
img.h83 { 
  height: 115px;
}
img.h85 { 
  height: 120px;
}
img.h90 { 
  height: 130px;
}
img.h95 { 
  height: 140px;
}
img.h100 { 
  height: 150px;
}
img.h105 { 
  height: 155px;
}
img.h110 { 
  height: 160px;
}
img.h115 { 
  height: 165px;
}
img.h120 { 
  height: 170px;
}
img.h130 { 
  height: 180px;
}
img.h140 { 
  height: 190px;
}
img.h150 { 
  height: 200px;
}
img.h160 { 
  height: 220px;
}
img.h170 { 
  height: 230px;
}
img.h180 { 
  height: 240px;
}
img.h190 { 
  height: 250px;
}
img.h200 { 
  height: 260px;
}
img.h210 { 
  height: 270px;
}
img.h250 { 
  height: 300px;
}
img.h300 { 
  height: 370px;
}
img.h340 { 
  height: 490px;
}
img.h350 { 
  height: 500px;
}
img.h400 { 
  height: 560px;
}
img.h500 { 
  height: 800px;
}
img.tidy { 
  height: 0.43em;
  width:  1.05em;
  padding-left: 5px;
}
img.w3 { 
  height: 0.70em;
  width:  1.90em;
  padding-left: 5px;
}
div.marginalbox {
  color: black;
  background-color: #d0d0d0;
}
div.beyondend {
  margin-top: 5em;
  display: none;
}
******* end lectures ******************************************/