/* mac5827 2000 Diestel */
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-color: #603000; /*prog-lin brown (Yohi & Knuth?*/
  background-color: #e0d8e0;
/*background: #ffffe6; */
   background: #ffffd4;
   background: #ffffb3;
 /*background: lightyellow;*/
   background-color: #d0e0ff;
   background-color: #b0c0e0;
/* color: #602000;  prog-lin brown (Yohi & Knuth?*/
/* color: #552200; prog-lin brown (Yohi & Knuth?*/
}
BODY {
   margin-left: 4%;
   margin-right: 4%;
}
div.window {
   background-color: white;
   margin-left: 1em;
   margin-right: 1em;
   padding: 0.5em 1em 1em 1em; 
   line-height: 1.5; /* menos não adianta no MS Explorer */
   border: 0px solid green; /*scaffold*/   
}
a:link {
  color: #0000ff; /* default color for link */
} 
a:visited {
  color: #551a8b; /* default color for visited link */
}
a:hover { /* Must come after :link and :visited */
  color: red;
}
a:active {
  color: red;
} 
div.gray {
   color: gray;
}
h1 {
  margin-top: 2em;
  line-height: 1.5; /* menos não adianta no MS Explorer */
}
li {
   margin-top: 0.5em;
}
li.sp {
   margin-top: 1em;
}

.hide {
   background-color: #d0ffd0;
   /* visibility: hidden; not the desired effect */
   /* visibility: collapse; same as hidden */
}
.small {
   font-size: 0.80em;
}
div.footer {
  hyphens: none;
  margin-top: 0em; 
  margin-bottom: 5em;
  word-spacing: 0px;
  letter-spacing: 0px;
  font-size: 0.85em; /*same as small*/
  line-height: normal; /*this is the default*/
}
abbr {
   color: #000000;
   /* text-decoration: underline; */
}
abbr:hover {
   color: red;
   text-decoration: underline;
}