/* GRAFOS/2000-5827/aulas/mac5827.css */
HTML {
  font-family: "Comic Sans MS", "Purisa";
  font-family: "Century Schoolbook L", "Purisa";
  font-family: "Book Antiqua", "Purisa"; /*no*/
  font-family: "Garamond", "Purisa"; /*no*/
  font-family: "URW Bookman L", "Purisa"; 
  font-family: "Latin Modern Math", "Purisa"; /*too small+light*/
  font-family: "TeXGyrePagella", "Purisa";
  font-family: "Helvetica", "Purisa"; 
  font-family: "Arial", "Purisa"; 
  font-family: "DejaVu Serif", "Purisa"; /*mp mobile*/
  font-family: serif; 
/*
  "Georgia" is bad because "0" is like "o"
  "Bookman Old Style" not good: overlaps letters like "<var>g</var>" and "+")
*/
  font-size: 18px;
/*background: #ffffe6; */
  background: #552200; /*brown, too dark*/
  background: wheat;
  background-color: #e0d8e0;
  background-color: #d0e0ff;
  background-color: #b0c0e0;
  border: 0px solid red; /*scaffold*/   
}
BODY {
  margin-left: 4%; 
  margin-right: 4%;
  color: black; 
  line-height: normal; /*??*/
  border: 0px solid black; /*scaffold*/   
}
div.window {
   display: block;
   background-color: white;
   margin-left: 1em;
   margin-right: 1em;;
   padding: 0.5em 1em 1em 1em; 
   line-height: 1.5; /* menos que 1.5 não adianta no MS Explorer */
   letter-spacing: 0.5px;
   border: 0px solid green; /*scaffold*/   
}
a:link {
  color: #0000ff; /* defalt color for link */
  text-decoration: underline;
  text-decoration: none;
} 
a:visited {
  color: #551a8b; /* default color for visited link */
  text-decoration: none;
  text-decoration: underline;
}
a:hover { /* Must come after :link and :visited */
  color: red;
  text-decoration: underline;
}
a:active {
  color: red;
  text-decoration: underline;
} 
p.upbutton {
   /* background: silver;
   color: black;  */
   padding: 1px;
   /* width: 40%; border: solid; border-width: thin; */
   text-align: right;
   /* font-size: small; não adianta */
   margin-top: 0em;
   margin-bottom: 2em;
}
H1 {
   margin-top: 1em;
   margin-bottom: 1em;
   /* margin-left: -1em; */
   line-height: 1.2;
}
H2 {
   margin-top: 2em;
   margin-bottom: 1em;
   /* margin-left: -1em; */
   /* margin-bottom: 0em; bad on Explorer, inocuous on Netscape */
   line-height: 1.2;
}
H3 {
   margin-top: 2em;
   line-height: 1.2;
}
.nw {
  white-space: nowrap;
  hyphens: none;
}
dfn {
  font-style: normal;
  font-weight: bold;
}
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.80em; /*14.4px*/
  font-size: 0.75em; /*13.5px*/
  font-size: 0.70em; /*12.6px*/
  font-size: 0.66666em; /*12px*/
  font-size: 0.72222em; /*13px*/
  font-size: 0.7777em; /*14px*/
  font-size: 0.75em; /*13.5px*/
  padding-left: 1px; /*global letter-spacing is no help?*/
  top: -0.6em; /*CSS tricks*/
}
sub {
  font-size: 0.80em; /*14.4px*/
  font-size: 0.722222em; /*13px*/
  font-size: 0.7777em; /*14px*/
  top: 0.3em; /*CSS tricks*/
}
div.exr { 
   color: gray; 
   margin-top: 1.5em; 
}
ol.iii {
  margin-top: 0.2em;
  margin-bottom: 0.2em;
  margin-left: 0.5em;
  list-style-type: lower-roman;
}
ol.ABC {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  list-style-type: upper-latin;
}
ol.abc {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  list-style-type: lower-latin;
}
ul.nolabel {
  list-style-type: none;
}
ul.gdisc {
  list-style-type: disc;
}
ul.square {
  list-style-type: square;
}
ul.circle {
  list-style-type: circle;
}
li.ssp {
  margin-top: 1.3em;
  margin-top: 1em;
/*line-height: 1.5;*/
/*overflow: visible; no!!*/ /*auto hidden visible scroll cut*/
}
li.sp {
   margin-top: 0.6em;
   line-height: 1.4;
}
ul p {
   margin-top: 0.6em;
}
ul p.tight {
   margin-top: 0.3em;
}
.r {
   color: #aa0000;
}
.gray {
   color: gray;
}
strong {
   color: #aa0000;
}
div.gray {
   color: gray; /* gray é mais escuro que #999999; */
}
span.bar {
  text-decoration: overline;
}
span.smallcaps {
  font-variant: small-caps; 
/*text-transform: uppercase;*/ 
}
p.display {
   text-align: center;
}
div.figure-l {
  float: left;
  text-align: left;
  margin-left: 0em;
  margin-right: 1em;
  border: 0px solid blue; /*scaffold*/
}
div.figure-r {
  float: right;
  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*/
}

.hide {
/*display: inline;*/
/* display: block;*/
/* display: none;*/
/* font-size: small; */
/* font-style: italic;*/
   color: black;
   background-color: #d0ffd0;
}
br {
   margin-bottom: 0.5em;
}
br.xxx {
   margin-bottom: 0.7em;
}
br.cl {
   clear: both;
}
sup.choose {
  vertical-align: top; /*baseline top bottom sub super*/
  position: relative;
  top: 0.5em; /* for big parentheses */
  top: 0.4em; /* for normal parentheses */
  right: -0.3em;
  line-height: 0; /*add for sup when font is too big */
  font-size: 0.8888em; /*16px*/
  margin: 0em 0em 0em 0em;
  padding: 0em 0em 0em 0em;
  border: 0px solid black; /*scaffold*/
}
sub.choose {
  vertical-align: bottom; /*baseline top bottom sub super*/
  position: relative;
  top: -0.6em; /* for big parentheses */
  top: -0.4em; /* for normal parentheses */
  right: 0.4em;
  line-height: 0; /*add for sup when font is too big */
  font-size: 0.83333em; /*15px*/
  margin: 0em 0em 0em 0em;
  padding: 0em 0em 0em 0em;
  border: 0px solid black; /*scaffold*/
}
/* Usage:
<big>(</big><sup class="choose"><i>n</i></sup><sub class="choose">2</sub><big>)</big>
*/
/*
sup.choosee {
  vertical-align: top;
  position: relative;
  top: 0.5em;
  top: 0.4em;
  right: -1.5em;
  right: -0.1em;
  line-height: 0;
  font-size: 0.83333em;
  margin: 0em 0em 0em 0em;
  padding: 0em 0em 0em 0em;
  border: 0px solid black;
}
sub.choosee {
  vertical-align: bottom;
  position: relative;
  top: -0.6em; 
  top: -0.4em; 
  right: 2em;
  line-height: 0; 
  font-size: 0.83333em;
  margin: 0em -2em 0em 0em;
  padding: 0em 0em 0em 0em;
  border: 1px solid black; 
}
*/
div.footer {
  hyphens: none;
  margin-top: 3em; 
  margin-bottom: 30em;
  word-spacing: 0px;
  letter-spacing: 0px;
  font-size: 0.85em;
  line-height: normal; /*this is the default*/
}
abbr {
   color: #000000;
   /* text-decoration: underline; */
}
abbr:hover {
   color: red;
   text-decoration: underline;
}