/* ESTRUTURASdeDADOS/estruturas-de-dados/style.css */
HTML {
  font-family: "Book Antiqua", "Century Schoolbook L", "Georgia", "Comic Sans MS", "URW Bookman L", "Garamond", "TeXGyrePagella", "DejaVu Serif", "Purisa", serif; 
  text-align: left;
  font-size: 20px; 
  padding: 0; /*to appease Microsoft IE*/
}
BODY {
  margin-left: 5%;
  margin-right: 5%;
/*background: #ffffe0; light yellow*/
/*background: #f0f0f0; light gray*/
/*background: #FFFAF0; */ /*yoshi*/
  background: white;
  color: #552800; /*yoshi*/
  color: #000050;
/*line-height: normal;*/ /*this is the default, +-120%*/
  letter-spacing: 0.1px;
/*word-break: keep-all; teste: break-all, break-word, keep-all*/
}
/***
 "Georgia" is bad because "0" is like "o"
 "Bookman Old Style" not too good: overlaps some letters, 
    like "<var>g</var>" e "+")
 "Comic Sans MS" is OK
***/
/* illustration in index.html */
table.illustration {
  float: right;
  width: 15em;
  margin: 0em -2.5em 1em 1em;
/*white-space: nowrap;*/
/*border-collapse: collapse;*/
/*border-spacing: 1px 1px; distance btw borders of adj cells*/
  border: 0px solid black; /*scaffold*/
/*display: inline-table;*/
/*display: inline;*/
}
.illustration td {
  padding: 0em 0.8em 0.3em 0em;
  white-space: nowrap;
  font-size: 0.60em; /*12px*/
/*vertical-align: top;*/
  border: 0px solid black;
}
.illustration pre {
  margin-top: 1.5em;
}
.illustration p {
  margin-left: 0em;
  margin-top: 0px;
  font-size: 0.90em; /*18px*/
  white-space: normal;
}
img.wordle {
  vertical-align: top;
  opacity: 0.50;
/*filter: alpha(opacity=50);*/ /* For IE8 and earlier */
  height: 110px;
  border: 0px solid black;
}
img.wordle:hover {
  vertical-align: top;
  opacity: 1.00;
/*filter: alpha(opacity=100);*/ /* For IE8 and earlier */
  border: 0px solid black;
}
/* dictionary */
table.dictionary {
  margin-top: 1em;
  border-collapse: collapse; /*separate,collapse,initial,inhert*/
  /*border-spacing: 0em; almost indifferent*/
  border: 0px solid black;
}
table.dictionary td {
  margin: 0em 0.0em 0.0em 0em;
  padding: 0em 0.5em 0.0em 0em;
  white-space: nowrap;
  font-size: 0.90em; /*18px*/
  border: 0px solid black;
}
/* ordinary links */
a:link {
/*cursor: help;*/
/*color: #cceeff; */
/*color: #554433; brown? */
/*color: #8000e0; light purple */
  color: #0000f0;
  text-decoration: underline;
  text-decoration: none;
} 
a:visited {
/*cursor: help;*/
/*color: #00b0b0; */
/*color: #0040a0; */
/*color: #551a8b; default color */
/*color: #6000e0;*/
  color: #0000d0;
  text-decoration: none;
}
a:hover { /* Must come after :link and :visited */
/*color: #d05010; orange */
  color: red;
  text-decoration: underline;
}
a:active {
  color: red;
/*text-decoration: underline;*/
  text-decoration: none;
} 
/*---menu---*/
p.menu {
/*font-family: sans-serif, Arial, Helvetica;*/
  font-size: 0.75em; /*15px*/
  font-weight: bold;
  text-align: right; 
  color: #000080; 
  padding-bottom: 0.1em;
  border-bottom: 2px solid #000080;
  margin-bottom: 4em;
  white-space: nowrap;
}
.menu a:link { 
  text-decoration: none; 
  color: #000080;
} 
.menu a:visited { 
  text-decoration: none; 
  color: #000080;
} 
.menu a:hover { 
  text-decoration: underline; 
  color: #d05010;
} 
.menu a:active { 
  text-decoration: underline; 
  color: #d05010;
}
/*** browser does not support yet
     corresponds to transition target="_blank"
a.newtab { 
  target-name: new;
  target-new: tab;
} 
***/

/**** headlines ****/
h1 {
  margin-top: 2em;
  text-align: left;
/*color: #d05010;*/ /*brown-orange*/
/*color: #b03000;*/ /*dark brown-orange*/
  color: #552800; /*yoshi*/
  color: #000080; /*dark blue*/
  hyphens: none;
}
h2 {
  margin-top: 2em;
/*color: #b03000;*/ /*dark brown-orange*/
/*color: #000080;*/ /*dark blue*/
  color: #c04010; /* brown-orange */ 
  hyphens: none;
}
h3 {
  margin-top: 2em;
  margin-bottom: 0em;
/*color: #802000;*/ /*darker brown-orange */ 
  color: #b03000; /*dark brown-orange*/
  color: #000080; /*dark blue*/
  color: #2020d0; /* lighter blue */ 
  color: #c04010; /* brown-orange */ 
  hyphens: none;
}
h4 {
   margin-top: 1.5em;
   margin-bottom: 0em;
   color: #d05010;
   color: #c04010; /* brown-orange */ 
  hyphens: none;
}
p.epigraph {
  margin-top: 2.5em;
  margin-bottom: 0em;
  text-align: right;
  font-size: 0.70em; /*14px*/
  hyphens: none;
}
p.epigraphsignature {
  margin-top: 0.5em;
  margin-bottom: 0em;
  text-align: right;
  font-size: 0.70em; /*14px*/
  hyphens: none;
}
span.nw {
  white-space: nowrap;
  hyphens: none;
}
span.large { /*not used*/
  font-size: 1.15em;
}
div.large { 
  font-size: 1.0em;
}
div.small {
  font-size: 0.85em; /*17px*/
}
div.clear {
  clear: both;
}
/*---monospaced tt---*/
tt { 
  white-space: nowrap;
/*font-family: "Courier New", monospace, serif;*/
  font-family: monospace, monospace; /*2nd "monospace" is a fix for Mozilla*/
  font-size: 0.80em; /*16px*/
  font-style: normal;
/*font-weight: bold;*/
/*color: #000050;*/ /* do not specify color in classless tt!*/
  hyphens: none;
}
tt.wrap { 
  white-space: normal;
  font-family: monospace, monospace; /*2nd "monospace" is a fix for Mozilla*/
}
tt.ws { /*nowrap is inherited*/
  word-spacing: -0.3em;
  font-family: monospace,monospace; /*2nd "monospace" is fix is for Mozilla*/
}
tt.control { /*control character*/
  font-family: monospace,monospace; /*2nd "monospace" is fix is for Mozilla*/
  font-size: 0.80em; /*16px*/
  color: #808080;
/*text-decoration: underline;*/
}
/************* no longer needed, I guess
a:link tt {
  color: #0000f0;
  text-decoration: underline;
} 
a:visited tt {
  color: #0000d0;
  text-decoration: none;
}
a:hover tt {
  color: red;
  text-decoration: underline;
}
a:active tt {
  color: red;
  text-decoration: none;
} 
************* no longer needed, I guess ****/

pre {
/*font-family: "Courier New", monospace;*/
  font-family: monospace, monospace; /*2nd "monospace" is a fix for Mozilla?*/
  font-size: 0.725em; /*14.5px*/
/*font-weight: bold;*/
  hyphens: none;
}
pre.ws {
  word-spacing: -0.1em;
}
pre.displaysmall {
  margin: 1.5em 2em 1.5em 4em;
  font-size: 0.65em; /*13px*/
}
pre.sp {
  margin: 1.5em 0em 1.5em 2em;
}
/* ------ program and code ------ */
pre.code { 
  margin: 1.5em 2em 1.5em 2.6em;
  margin: 1.5em 2em 1.5em 2em;
  border: 0px solid black;
  padding: 0.6em 1em 0.6em 1em;
  font-style: normal;
/*font-weight: bold; */
  font-size: 0.725em; /*14.5px same as tt1, smaller than tt*/
/*line-height: normal;*/ /*this is the default, +-120%*/
  line-height: 1.4;
  background-color: #ffffe8;
}
pre.lesstop { 
  margin-top: 1em;
}
pre.lessbottom { /*get rid of this!*/ 
  margin-bottom: 0.5em;
  margin-bottom: 1.0em;
}
pre.nobottom { 
  margin-bottom: 0em;
}
pre.whitebg { /*table*/
  background-color: #ffffff;
}
pre.fcode { /*framed code*/
  margin: 1.5em 1.5em 2em 2em;
  margin: 1.5em 1.5em 2em 1.4em;
  border: 8px solid #f4d8a8;/*very light brown-orange*/ 
  border: 8px solid #f0b0b0;/*pink*/
  padding: 0.6em 1em 0.6em 1em;
  font-style: normal;
/*font-weight: bold; */
  font-size: 0.725em; /*14.5px same as tt1, smaller than tt*/
/*line-height: normal;*/ /*this is the default, +-120%*/
  line-height: 1.4;
}
pre.io { 
  margin: 1.5em 2em 1.5em 2.6rem;
  margin: 1.5em 2em 1.5em 2em;
  padding: 0.6em 1em 0.6em 1em;
  font-size: 0.725em; /*14.5px*/
  font-style: normal;
/*font-weight: bold; */
  background-color: #e6e6e6; /*as in book*/
}

span.highlight { /* substitute for italic */
   background: #ffffb0; 
}
span.sc {
/* text-transform: uppercase; */
   font-variant: small-caps;
}
/**** tables from SW book ****/
table.c { /*all centered*/
  margin: 1.0em 0em 2em 2em;
  border: 0px solid black; /*scaffold*/
}
td.hr {
  margin: -10.0em 0em 0.4em 0em;
  border-bottom: 2px solid black; 
}
hr.c {
  margin: 0.3em 0em 0.2em 0em;
}
td.l { /*left*/
  text-align: left;
  padding: 0.1em 0.5em 0.1em 0.5em;
  padding: 0.1em 0.3em 0.1em 0.3em;
  vertical-align: middle;
  font-size: 0.85em; /*17px*/
  white-space: nowrap;
  border: 0px solid black; /*scaffold*/
  hyphens: none;
}
td.c { /*all centered*/
  text-align: center;
  padding: 0.1em 0.5em 0.1em 0.5em;
  padding: 0.1em 0.3em 0.1em 0.3em;
  vertical-align: middle;
  font-size: 0.85em; /*17px*/
  white-space: nowrap;
  border: 0px solid black; /*scaffold*/
  hyphens: none;
}
td.r { /*all right*/
  text-align: right;
  padding: 0.1em 0.5em 0.1em 0.5em;
  padding: 0.1em 0.3em 0.1em 0.3em;
  vertical-align: middle;
  font-size: 0.85em; /*17px*/
  white-space: nowrap;
  border: 0px solid black; /*scaffold*/
  hyphens: none;
}
td.ctt {/*all centered*/
  text-align: center;
  padding: 0.1em 0.5em 0.1em 0.5em;
  padding: 0.1em 0.3em 0.1em 0.3em;
  font-family: monospace;
  font-weight: normal;
  font-size: 0.75em; /*15px*/
  font-size: 0.725em; /*14.5px*/
  white-space: nowrap;
  border: 0px solid black; /*scaffold*/
  hyphens: none;
}
td.caption {
  text-align: center;
  padding-top: 2em;
  border: 0px solid black; /*scaffold*/
}
p.caption {
  margin: 0em 0em 4em 4em;
}
/**** table for API ****/
table.api {
  margin: 1.0em 0em 1.5em 2em;
  margin: 1.0em 0em 1.5em 1.4em;
  border-collapse: collapse; /*separate,collapse,initial,inhert*/
  /*border-spacing: 0em; almost indifferent*/
  border: 0px solid black; /*scaffold*/
  hyphens: none;
}
table.api tr {
/*line-height: normal;*/ /*this is the default, +-120%*/
/*line-height: 1.00em;*/ /*marginally useful*/
}
table.api td.hr {
  margin: 0em 0em 0em 0em;
  padding: 0em 0em 0em 0em;
  border-bottom: 0px solid black; 
}
table.api td.tt1 {
  text-align: right;
  vertical-align: bottom;
  vertical-align: middle;
  margin: 0em 0em 0em 0em;
  padding: 0.0em 0.5em 0.0em 0.0em;
  font-family: monospace, monospace;
  font-size: 0.70em; /*14px, smaller than tt*/
  font-weight: normal;
  white-space: nowrap;
/*line-height: normal;*/ /*this is the default, +-120%*/
/*line-height: 2.4em; not quite what I want*/
  border: 0px solid black; /*scaffold*/
}
table.api td.tt2 { 
  text-align: left;
  vertical-align: bottom;
  vertical-align: middle;
  font-family: monospace, monospace;
  font-size: 0.70em; /*14px same as tt1, smaller than tt*/
  font-weight: normal;
  white-space: nowrap;
  border: 0px solid black; /*scaffold*/
}
table.api span.pullleft { 
  margin-left: -2em;
}
table.api td.bla {
  text-align: left;
  margin: 0em 0em 0em 0em;
  padding: 0.0em 0.0em 0.0em 1.0em; 
  vertical-align: bottom;
  vertical-align: middle;
/*font-style: italic;*/
  font-size: 0.90em; /*18px*/
  font-size: 0.875em; /*17.5px*/
  white-space: nowrap;
  border: 0px solid black; /*scaffold*/
}
table.api td.blb {
  text-align: left;
  margin: 0em 0em 0em 0em;
  padding: 0.0em 0.0em 0.0em 1.0em;
  vertical-align: bottom;
  vertical-align: middle;
/*font-style: italic;*/
  font-size: 0.90em; /*18px*/
  font-size: 0.875em; /*17.5px*/
  white-space: nowrap;
  border: 0px solid black; /*scaffold*/
}
table.api td.bla tt {
  font-size: 0.70rem; /*rem, 14px*/
}
table.api td.blb tt {
  font-size: 0.70rem; /*rem, 14px*/
}
span.out { /*computer output*/
   color: #a00000;
   color: #0000ff;
}
/*--- text ---*/
span.bar { /*complement*/
  text-decoration: overline;
}
span.red {
   font-weight: bold;
   color: #e00000;
}
span.blue {
   color: #0000f0;
}
p.red {
   color: #e00000;
}

/**** miscelanea ****/
span.orange {
/*color: #e00000;*/
/*color: #c04010; brown-orange */ 
  color: #a83000; /* darker brown-orange */ 
  color: #b04010;
}
span.borange {
  font-weight: bold;
/*color: #e00000;*/
/*color: #c04010; brown-orange */ 
  color: #a83000; /* darker brown-orange */ 
  color: #c04010;
}
span.orange tt {
/*color: #c04010; brown-orange */ 
  color: #a83000; /* darker brown-orange */ 
  color: #b04010;
}
span.borange tt {
  font-weight: bold;
/*color: #c04010; brown-orange */ 
  color: #a83000; /* darker brown-orange */ 
  color: #b04010;
}
div.orange {
   color: #c04010;    /* brown-orange */ 
}
dfn {
  background: #ffffb0;
  background: #ffffc0;
/*padding: 0em 0.2em 0em 0.2em; não fica bom no começo de linha... */
/*font-style: normal; */
/*font-weight: bold; */
  font-style: italic;
}
span.dimorange {
  color: #d05020; 
}
.dim { 
  color: #a8a8c0; 
}
.dim tt {
  color: #a0a0c0; 
}
.dim a:link {
  color: #6060f0;
  text-decoration: underline;
  text-decoration: none;
} 
.dim a:visited {
  color: #6060f0;
  text-decoration: none;
}
.dim a:hover { /* Must come after :link and :visited */
  color: red;
  text-decoration: underline;
}
.dim a:active {
  color: red;
  text-decoration: none;
} 

div.strike {
   text-decoration: line-through;
}
p.strike { /*use <s>*/
   text-decoration: line-through;
}
span.strike { /*use <s>*/
   text-decoration: line-through;
}
span.underline {
   text-decoration: underline;
}
li.spstrike {
   margin-top: 0.3em;
   margin-right: 0.5em;
   background-color: #d0ffd0;
   text-decoration: line-through;
}
ul.square {
/*list-style-type: none;*/
  list-style-type: disc;
  list-style-type: square;
}
ul.nolabel {
  list-style-type: none;
  margin-bottom: 0.5em;
}
ul.notop {
  margin-top: 0em;
}
ul ul {
  list-style-type: square;
  list-style-type: circle;
}
li.bib {
  margin-top: 0.5em;
}
span.comm {
/*color: #1080d0;*/
  color: #a0a0a0;
}
li.sp {
  margin-top: 0.3em;
  margin-right: 0.5em;
}
.hide { 
/*display: inline; */
/*display: none;*/
/*font-style: italic;*/
  color: #606060;
  background-color: #d0ffd0;
/*text-decoration: line-through;*/
}
ol.exr {
  list-style-type: decimal;
}
ol.abc {
  list-style-type: lower-latin;
}
div.box {
  margin: 2.0em 1.5em 0.5em 0.5em;
  padding: 0.05em 0.5em 0.5em 0.5em;
  font-size: 0.90em; /*18px*/
  color: #404040;
  background-color: #e0e0e0;
}
p.fig {
  text-align: center;
  margin-top: 2em;
  margin-bottom: 3em;
  font-size: 0.80em; /*16px*/
}
p.halftop {
  margin-top: 0.5em;
}
p.halfbottom {
  margin-bottom: 1em;
}
p.fig-r {
  float: right;
  margin: 0em 0em 2em 2em;
  border: 0px solid; 
}
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.h900 { /*16 px/em = 0.0625 em/px*/
  height: 56.2em;
  height: 900px;
}
img.h800 {
  height: 50em;
  height: 800px;
}
img.h720 {
  height: 720px;
  height: 45em;
}
img.h700 {
  height: 700px;
  height: 43.75em;
}
img.h650 {
  height: 650px;
  height: 40.625em;
}
img.h600 {
  height: 600px;
  height: 37.5em;
}
img.h550 {
  height: 550px;
  height: 34.375em;
}
img.h530 {
  height: 530px;
  height: 33.125em;
}
img.h500 {
  height: 500px;
  height: 31.25em;
}
img.h480 {
  height: 480px;
  height: 30em;
}
img.h470 {
  height: 470px;
  height: 29.375em;
}
img.h450 {
  height: 450px;
  height: 28.125em;
}
img.h410 {
  height: 410px;
  height: 25.625em;
}
img.h400 {
  height: 400px;
  height: 25em;
}
img.h380 {
  height: 380px;
  height: 23.75em;
}
img.h360 {
  height: 360px;
  height: 22.5em;
}
img.h350 {
  height: 350px;
  height: 21.875em;
}
img.h340 {
  height: 340px;
  height: 21.25em;
}
img.h330 {
  height: 330px;
  height: 20.625em;
}
img.h310 {
  height: 310px;
  height: 19.375em;
}
img.h300 {
  height: 300px;
  height: 18.75em;
}
img.h280 {
  height: 280px;
  height: 17.5em;
}
img.h270 {
  height: 270px;
  height: 16.875em;
}
img.h250 {
  height: 250px;
  height: 15.625em;
}
img.h240 {
  height: 240px;
  height: 15em;
}
img.h230 {
  height: 230px;
  height: 14.375em;
}
img.h220 {
  height: 220px;
  height: 13.75em;
}
img.h210 {
  height: 210px;
  height: 13.125em;
}
img.h200 {
  height: 200px;
  height: 12.5em;
}
img.h190 {
  height: 190px;
  height: 11.875em;
}
img.h180 {
  height: 180px;
  height: 11.25em;
}
img.h170 {
  height: 170px;
  height: 10.625em;
}
img.h160 {
  height: 160px;
  height: 10em;
}
img.h150 {
  height: 150px;
  height: 9.375em;
}
img.h140 {
  height: 140px;
  height: 8.75em;
}
img.h130 {
  height: 130px;
  height: 8.125em;
}
img.h120 {
  height: 120px;
  height: 7.5em;
}
img.h110 {
  height: 110px;
  height: 6.875em;
}
img.h100 {
  height: 100px;
  height: 6.25em;
}
img.h90 {
  height: 90px;
  height: 5.625em;
}
img.h80 {
  height: 80px;
  height: 5em;
}
img.h70 {
  height: 70px;
  height: 4.375em;
}
img.h60 {
  height: 60px;
  height: 3.75em;
}
img.h55 {
  height: 55px;
  height: 3.4375em;
}
img.h52 {
  height: 52px;
  height: 3.25em;
}
img.h50 {
  height: 50px;
  height: 3.125em;
}
img.h48 {
  height: 48px;
  height: 3em;
}
img.h45 {
  height: 45px;
  height: 2.8125em;
}
img.h29 {
  height: 29px;
  height: 1.8125em;
}
img.h28 {
  height: 28px;
  height: 1.75em;
}
img.h14 { /*alpha*/
  height: 14px;
  height: 0.875em; /*14/16 too small*/
  height: 0.7em; /*20px/em*/
}
img.h14a { /*smaller alpha in exercises*/
  height: 13px;
  height: 0.8125em;
  height: 0.7em;
}
img.h13 { /*triangle-!*/
  height: 13px;
  height: 0.8125em;
  height: 0.70em; /*18.57px/em*/
}

pre img.noborder {
  vertical-align: top;
  margin: 0.7em 0em 0.7em 0.5em;
  opacity: 1.0;
  border: 0px solid black;
}
p.display {
  text-align: center;
/*white-space: nowrap; use span nw instead*/ 
}
pre.normalfont { /*not used*/
  font-family: normal; /*not monospaced*/
  white-space: pre; /*redundant*/
}

/*** OLD
sup {
  font-size: 0.65em;    &sup2; uses 0.6em 
  vertical-align: 0.50em;
}
sub {
  font-size: 0.87em;
  vertical-align: -0.4em;     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.70em; /*14px*/
  padding-left: 1px; /*global letter-spacing is no help?*/
  top: -0.6em; /*CSS tricks*/
}
sup.smaller { /*not used*/
  font-size: 0.70em; /*14px*/
}
sup.higher { /*not used*/
  top: -0.7em; /*CSS tricks*/
}
sub {
  font-size: 0.70em; /*14px*/
  top: 0.3em; /*CSS tricks*/
}
sub.log {   /* for log_{}*/
  font-size: 0.65em; /*13px*/
  top: 0.4em; /*CSS tricks*/
}


hr.footer {
  margin-top: 2.5em;
}
p.footer-nw {
  margin-top: 0em;
  margin-bottom: 0em;
  font-size: 0.80em; /*16px*/
  white-space: nowrap;
}
p.footer {
  margin-top: 0em;
  margin-bottom: 0em;
  font-size: 0.80em; /*16px*/
  hyphens: none;
}
p.footer2 {
  margin-top: 0.5em;
  margin-bottom: 0em;
  font-size: 0.80em; /*16px*/
}
p.footer2-nw {
  margin-top: 0.5em;
  margin-bottom: 0em;
  font-size: 0.80em; /*16px*/
  white-space: nowrap;
}
ul.footer {
  margin-top: 0em;
  margin-bottom: 2em;
}
li.footer {
  margin-top: 1px;
  font-size: 0.80em; /*16px*/
}
/*** q-and-a ***/
div.q-and-a {
  font-size: 0.90em; /*18px; like itemexr*/
  color: #505070;
}
div.q-and-a h2 {
  margin-top: 0.5em;
  color: #c04010; /*brown-orange*/ 
  color: #d07030; /*light brown-orange*/
  color: #d87838;
  color: #c0a070;
  color: #808080;
}
div.q-and-a hr {
  margin-top: 4.0em;
}
div.q-and-a li {
  margin-top: 0.6em;
  margin-bottom: 0.6em;
}
div.q-and-a li ul {
  margin-top: 0em;
  margin-bottom: 0em;
}
div.q-and-a li li {
  margin-top: 0em;
  margin-bottom: 0em;
}
div.q-and-a p {
  margin-top: 0.3em;
  margin-bottom: 0.2em;
}
div.q-and-a tt {
/** font-size: 0.70rem; **/ /*rem, 14px*/
  color: #505070;
}
div.q-and-a pre {
  font-size: 0.70rem; /*rem, 14px*/
}
/**** validator ****/
p.validator {
  margin-top: 2em;
  text-align: right;
  font-size: 0.80em;
}
img.r {
  border: 0;
  /*width:  88px;*/
  /*height: 31px;*/
  height: 23px;
  padding-left: 10px;
/*float:  right;*/
  text-align: right;
}
img.tidy { 
  border: 0;
/*height: 16px;*/
/*width:  39px;*/
/*height: 0.86em;*/
  width:  2.60em;
  padding-left: 5px;
/*float: right;*/
}
img.w3 { 
  border: 0;
/*height: 31px;*/
/*width:  88px;*/
/*height: 25px;*/
/*width:  63px;*/
  height: 1.37em;
  width:  3.69em;
  padding-left: 5px;
/*float: right;*/
}
p.end-of-page {
  margin-bottom: 20em;
}
.hint {
  float: right;  
  display: block; 
  width: 40%;
  background: #e0e0e0; 
  margin: 0.2em;
  border-right: 1px solid black; 
  border-bottom: 1px solid black;
  color: #2010b0; 
  padding: 0.3em;
  text-align: right;
  font-size: smaller;
}
li ul {
  margin: 0.2em 0em 0.0em 0em;
}
li p.afterul {
  margin-top: 0.3em;
}
p.tinytop {
  margin-top: 0.3em;
}
p.tinybottom { /*get rid of this!*/
  margin-bottom: 0.3em;
  margin-bottom: 1.0em;
}
/******* aulas *********/
div.narrowpage {
  margin-left: 8%;
  margin-right: 8%;
  margin-bottom: 3em;
}
h2.aula {
  text-align: left;
  margin-top: 2em; 
  margin-bottom: 1em;
  padding: 0.8em 0em 0.1em 0em;
  color: #c04010; /* brown-orange */ 
/*border-bottom: 3px solid #c04010; */
  border-top: 0px solid #c04010;
  /*background: #f0e0e0; light pink*/
  /*background: #f0d0d0; dark pink*/
  /*background: #d07030; laranja-chocolate mais apagado*/
  /*background: #d0a070; laranja-chocolate mais apagado*/
  /*background: #cc8866; laranja-chocolate mais brilhante*/
  /*background: #c04010; brown-orange reddish*/ 
  /*background: #b02000; brown-orange more reddish*/ 
  /*background: #d07030; light brown-orange */ 
  /*background: #552800; chocolate escuro*/
  /*background: #552200; chocolate escuro*/
  /*background: #886040; chocolate*/
  /*background: #e8d0c0; good for color=brown-orange*/
  /*background: #f0e0e0; pinkish gray*/
}
h3.aula { 
  text-align: left;
  margin: 2em 0em 1em 0em;
  padding: 0.8em 0em 0.1em 0em;
  color: #000050;
  border-top: 0px solid #000050;
  /* background: #f0f0ff; grayish baby blue*/
  /* background: #e0e0f8; baby blue*/
}
.item {
  margin-top: 0.8em;
  margin-bottom: 0.8em;
/*overflow: auto;*/ /*gives horizontal scrollbar*/
}
/*
.item pre {
  margin-top: 0.7em;
}*/
.itemexr {
  margin-top: 0.7em;
  list-style-type: decimal;
/*color: #8888a8;*/
  color: #505070;
  font-size: 0.90em; /*19px; like q-and-a*/
}
.itemexr tt {
  color: #505070;
/**font-size: 0.70em;**/ /*rem, 14px*/
}
span.invis {
  visibility: hidden;
}
/******************************************************************************/
/******** style for lectures (uncomment) ***
BODY {
  font-size: 115%;
  font-family: "Century Schoolbook L", "Book Antiqua", "Comic Sans MS", 
               "Purisa", serif; 
}
h1 {
  margin-top: 2em;
}
h2 {
  margin-top: 4em;
}
h3 {
  margin-top: 4em;
  margin-bottom: 0em;
}
h4 {
   margin-top: 3em;
   margin-bottom: 0em;
}
p {
   margin-top: 6em;
   margin-bottom: 6em;
}
tt { 
  font-weight: bold;
}
p.tinytop {
  margin-top: 1em;
}
p.tinybottom {
  margin-bottom: 1em;
}
pre {
  font-weight: bold;
}
pre.displaysmall {
   margin: 2em 2em 2em 4em;
   font-size: 0.97em;
}
pre.sp {
  margin-top: 1.5em;
  margin-bottom: 1.5em;
  font-size: 0.83em;
}
table.c { 
  margin: 1em 0em 8em 4em;
}
td.hr {
  padding: 0.1em 0em 0em 0em;
}
td.c { 
  text-align: center;
  padding: 0.1em 0.5em 0.1em 0.5em;
  vertical-align: middle;
}
td.ctt {
  text-align: center;
  padding: 0.1em 0.5em 0.1em 0.5em;
  font-weight: bold;
}
td.caption {
  text-align: center;
  padding-top: 2em;
}
p.caption {
  margin: 0em 0em 4em 4em;
}

table.api {
  margin: 1.5em 0em 3em 2em;
}
table.api td.hr {
  padding: 0em 0em 0em 0em;
  border-bottom: 0px solid black; 
}
table.api td.bla {
  padding: 0.0em 0.0em 0.0em 1.0em;
  font-size: 0.95em;
}
table.api td.bla tt {
  font-size: 1.05em;
}
table.api td.tt1 {
  font-weight: bold;
}
table.api td.tt2 { 
  padding: 0.0em 0.0em 0.0em 0.5em;
  font-weight: bold;
}
pre.code { 
  margin: 2em 2em 2.5em 2.6em;
  border: 1px solid black;
  padding: 0.6em 1em 0.6em 1em;
  font-family: monospace;
  font-style: normal;
  font-weight: bold;
  font-size: 0.95em;
  line-height: 140%;
}
pre.fcode {
  margin: 2em 2em 3em 2em;
  padding: 0.6em 1em 0.6em 1em;
  font-family: monospace;
  font-style: normal;
  font-weight: bold;
  font-size: 0.97em;
  line-height: 140%;
}
pre.io { 
  margin: 2em 2em 2em 2.6em;
  padding: 0.6em 1em 0.6em 1em;
  font-size: 0.93em;
  font-weight: bold;
  background-color: #f0f0f0;
}
span.orange {
  font-weight: bold;
  color: #a83000;
  color: #b04010;
}
span.orange tt {
  font-weight: bold;
  color: #a83000;
  color: #b04010;
}
.dim { 
  color: #7070a0; 
}
.dim tt {
  color: #606080; 
}
span.strike {
  display: none;
}
li.spstrike {
  display: none;
}
li.bib {
  margin-top: 1.5em;
}
li.sp {
  margin-top: 3em;
}
.hide { 
  display: none;
}
ul {
  margin-top: 4em;
  margin-bottom: 4em;
}
ol.exr {
  list-style-type: decimal;
}
ol.abc {
  list-style-type: lower-latin;
}
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;
}
p.fig {
  text-align: center;
  margin-top: 4em;
  margin-bottom: 8em;
}
p.halftop {
  margin-top: 1em;
}
p.halfbottom {
  margin-bottom: 2em;
}
img.noborder {
  vertical-align: baseline;
  vertical-align: middle;
  vertical-align: bottom;
  vertical-align: top;
  border: 0px solid black;
}
p.display {
  text-align: center;
}
pre.normalfont {
  font-family: normal; 
  white-space: pre;
}
hr.footer {
  margin-top: 16em;
}
p.footer-nw {
  white-space: nowrap;
  margin-top: 0em;
  margin-bottom: 0em;
  font-size: 0.75em;
}
p.footer {
  margin-top: 0em;
  margin-bottom: 0em;
  font-size: 0.75em;
}
p.footer2 {
  margin-top: 0.5em;
  margin-bottom: 0em;
  font-size: 0.75em;
  white-space: nowrap;
}
ul.footer {
  margin-top: 0em;
  margin-bottom: 2em;
}
li.footer {
  margin-top: 3px;
  font-size: 0.80em;
}
p.validator {
  margin-top: 0em;
  text-align: right;
}
img.r {
  border: 0;
  width:  88px;
  height: 31px;
  padding-left: 10px;
  text-align: right;
}
img.tidy { 
  border: 0;
  height: 0.86em;
  width:  2.10em;
  padding-left: 5px;
}
img.w3 { 
  border: 0;
  height: 1.37em;
  width:  3.69em;
  padding-left: 5px;
}
p.end-of-page {
  margin-bottom: 30em;
}
li ul {
  margin: 0.5em 0em 0.0em 0em;
}
li p.afterul {
  margin-top: 0.5em;
}
div.narrowpage {
  margin-left: 9%;
  margin-right: 9%;
  margin-bottom: 16em;
}
h2.aula {
  margin: 6em 0em 1.5em 0em;
}
h3.aula { 
  margin: 4em 0em 1.5em 0em;
}
.item {
  margin-top: 8em;
  margin-bottom: 1em;
}
.itemexr {
  color: #3030a0;
}
.itemexr tt {
  color: #3030a0;
}
************ end of lectures style ************************/