/* ALGORITMOS/2002-0122/aulas/style.css */
/* see analise_de_algoritmos/characters.html for fonts*/
HTML {
/*Test bed:
  font-family: "Garamond", "Purisa"; 
  font-family: "Century Schoolbook L", "Purisa"; 
  font-family: "Georgia", "Purisa"; 
  font-family: "Purisa"; 
  font-family: "Comic Sans MS", "Purisa"; 
  font-family: serif; 
  font-family: "TeXGyrePagella", "Purisa"; 
  font-family: "MathJax_AMS", "Purisa";
  font-family: "URW Bookman L", "Purisa"; 
  font-family: "Book Antiqua", "Purisa"; 
  font-family: "Latin Modern Math", "Purisa";
  font-family: "DejaVu Serif", "Purisa"; 
*/
  font-family: "DejaVu Serif", 
               "Latin Modern Math",
               "Century Schoolbook L", 
               "TeXGyrePagella", 
               "Comic Sans MS", 
               serif; 
/*font-size: 19px;*/
  font-size: 20px;
  text-align: left;
  background-color: white;
  color: #000000; /* #333333 #666666 */
}
BODY {
  margin-left: 8%;
  margin-right: 8%;
  padding: 0; /*to appease Microsoft IE*/
/*line-height: 100%; NO!!!*/
  font-size: 1.0em; 
  letter-spacing: 0.3px;
}
p.menu1 {
  font-size: 0.85em; /*17px*/
  margin-bottom:0em;
}
p.menu2 {
  margin-top:0.2em;
  padding: 0.2em 0em 0.2em 0em;
  font-size: 0.85em; /*17px*/
  border-top: 1px solid black;
  border-bottom: 1px solid black; 
  text-align: center;
}
a:link {
  color: #0000ff;
  text-decoration: none;
} 
a:visited {
  color: #2000a0;
  text-decoration: none;
}
a:hover { /* Must come after :link and :visited */
  color: red;
  text-decoration: underline;
} 
a:active {
  color: red;
  text-decoration: underline;
} 
h1 {
  margin-top: 2em;
  text-align: left;
/*color: #d05010;*/ /*brown-orange*/
/*color: #b03000;*/ /*dark brown-orange*/
  color: #552800; /*yoshi*/
  color: #000080; /*dark blue*/
}
h2 {
  margin-top: 2em;
/*color: #b03000;*/ /*dark brown-orange*/
/*color: #000080;*/ /*dark blue*/
  color: #c04010; /* brown-orange */ 
}
h3 {
  margin-top: 2em;
}
.small {
  font-size: 0.87em; /*16.53px*/
  font-size: 0.85em; /*17px*/
}
div.small {
  font-size: 0.85em; /*17px*/
}
div.verysmall {
  font-size: 0.75em; /*15px*/
}
tt, pre {
/*
  font-family: "Latin Modern Mono", "Purisa";
  font-family: "Ubuntu mono", "Purisa";
  font-family: "MathJax_Typewriter", "Purisa";
  font-family: monospace, monospace;
  font-family: "Courier 10 Pitch", "Purisa";
  font-family: "Courier New", "Purisa";
  font-family: "Courier", "Purisa"; better no
*/
  font-family: "Courier New",
               "Latin Modern Mono",
               "Ubuntu mono",
               "MathJax_Typewriter",
               monospace, monospace;
/*end up being monospace*/
/*
  font-family: normal; experimental (must kill "ws", change "-" into "−" and use var)
*/
}
tt { 
  white-space: nowrap;
  font-size: 0.90em; /*17.1px*/ 
  font-size: 0.84210em; /*16px*/ 
  font-size: 0.86842em; /*16.5px*/ 
  font-size: 0.89473em; /*17px*/ 
  font-size: 0.8947em; /*17px*/
  font-size: 0.92105em; /*17.5px*/ 
  font-size: 0.95em; /*19px*/ 
  font-style: normal;
/*font-weight: bold;*/
}
pre {
  font-size: 0.86842em; /*16.5px*/
  font-size: 0.84210em; /*16px*/ 
  font-size: 0.89473em; /*17px*/
  font-size: 0.8947em; /*17px*/
  font-size: 0.9em; /*18px*/
/*font-weight: bold;*/
  letter-spacing: 0px;
}
tt.small {
  font-size: 0.6842em; /*13px*/
  font-size: 0.75em; /*15px*/
}
tt.big {
  font-size: 1.1052em; /*21px*/
  font-size: 1.05em; /*21px*/
}
.nw { 
  white-space: nowrap;
}
tt.wrap { 
/*white-space: pre-wrap;*/ /*no! breaks on newline*/
  white-space: normal;
}
tt.ws { 
  word-spacing: -0.25em;
  word-spacing: -0.30em;
}
table#heap55 { 
   margin-left: auto;
   margin-right: auto;
}
table#heap55 tt { 
   font-size: 0.75em;
}
table.quickfig { /*make very lite borders and border-collapse*/ 
   margin-left: auto;
   margin-right: auto;
}
table.quickfig tt { 
   font-size: 0.75em;
   word-spacing: -0.25em;
}
table.myarrayfig { /*make very lite borders and border-collapse*/ 
   margin-left: auto;
   margin-right: auto;
   font-size: 0.90em;
}
table.myarrayfig tt { 
   font-size: 0.90em;
   word-spacing: -0.25em;
}
pre.notop { 
  margin: 0em 1em 0em 2.5em;
  border: 0px solid black; /*scaffold*/   
}
pre.code { 
  margin: 2em 1em 2em 2.5em;
  border: 0px solid black; /*scaffold*/   
}
pre.codehlt {
  margin: 2em 1em 2em 2em;
  padding: 0.5em 0.5em 0.5em 0.5em;
  background-color: #ffffc0;
  background-color: #ffffd8;
  border: 0px solid black; /*scaffold*/   
}
pre.extratop {
  margin-top: 2.5em;
}
li pre.code { /*no enunciado de exercícios*/
  margin: 0.7em 1em 0.7em 1em;
  border: 0px solid black; /*scaffold*/   
}
div.code { /*experimental only!*/
  margin: 1.1em 1.5em 1.1em 2.5em;
  border: 0px solid black; /*scaffold*/   
}
div.codehlt { /*experimental only!*/
  margin: 1.5em 1em 1.5em 2em;
  padding: 0.05em 0.5em 0.05em 0.5em;
  background-color: #ffffc0;
  background-color: #ffffd8;
  border: 0px solid black; /*scaffold*/   
}
pre.small {
  font-size: 0.7894em; /*15px*/
  font-size: 0.7631em; /*14.5px*/
  font-size: 0.8em; /*16px*/
}
pre.big {
  font-size: 1.0em; /*20px*/
}
/*** OLD
sub {
  display: inline-block; height: 10px; prevents pushing next line down
  vertical-align: -0.3em;
  font-size: 0.75em; 14.25px
  font-size: 0.7368em; 14px
}
sup {
  display: inline-block; height: 10px; prevents pushing next line down???
  vertical-align: 0.4em;
  font-size: 0.7368em; 14px
}
***/
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*/
}
sub {
  font-size: 0.75em; /*15px*/
  top: 0.3em; /*CSS tricks*/
}

.center {
   text-align: center;
}
p.indent {
  margin-left: 2.5em;
}
p.right {
   text-align: right;
}
p.extratop {
  margin-top: 1.5em;
}
.smallcaps {
  font-variant: small-caps;
}
span.comm { /*comment in code*/
   color: #d06060;
}
.red {
   color: red;
}
.bold {
  font-weight: bold;
}
.blood {
   color: #c00000;
}
.bl {
  color: #0088ff;
}
blockquote {
  margin-top: 1.5em;
  margin-bottom: 1.5em;
  margin-left: 2.5em;
  margin-right: 0em;
  border: 0px solid black; /*scaffold*/   
}
blockquote.extra {
  margin-left: 4em;
  border: 0px solid black; /*scaffold*/   
}
div.sedg {
  color: #4040a0;
  font-size: 0.89473em; /*17px*/
  font-size: 0.9em; /*18px*/
  margin-left: 2em;
  margin-right: 0.5em;
}
li.s{
  margin-top: 0.2em;
}
li.sp {
  margin-top: 0.8em;
}
li.sphide {
/*display: inline; */
/*display: none;*/
/*font-style: italic;*/
  margin-top: 0.3em;
  margin-right: 0.5em;
  background-color: #d0ffd0;
/*text-decoration: line-through;*/
}
.hide {
  color: black;
  background-color: #d0ffd0;
/*text-decoration: line-through;*/
}