/* algoritmos/front.css */
HTML {
  font-family: "DejaVu Serif", "Book Antiqua", "Century Schoolbook L", "TeXGyrePagella", "Garamond", Bookman, "URW Bookman L", "Cambria", "Georgia", Palatino, serif; 
  font-size: 20px;
  width: 100%; /*to prevent "overflow" badges in inspect*/
}
BODY {
  /* background: lightyellow; */
  /* background: lightblue; it is greenish */
  /* background: #5cb3ff; baby blue */
  /* background: #0030b0; dark violet-blue (to jarring on Winmdows) */
  /* background: #00335f; dark gray-blue (like emacs bground); too dark... */
  /* background: #c5d2ec; light blue (with dark letters) */
  /* background: #89dbde; darker green-gray (with dark letters) */
  background: #305090; /* darker darker blue-gray */
  color: white; 
  margin-left: 7%; /*was 8%; nothing else depends on this */
  margin-right: 7%; /*was 8%; nothing else depends on this */
  hyphens: none;
}
a:link {
  color: #ddb0ff; /*purplish*/
  color: #f0c0ff; /*light purplish*/
  text-decoration: none;
} 
a:visited {
  color: #f0ddff;
  color: white;
  text-decoration: none;
}
a:hover, a:focus { /* Must come after :link and :visited */
  color: white;
  color: yellow;
  text-decoration: underline;
}
a:active {
  color: red;
  text-decoration: underline;
} 
a.name {
   color: white;
   text-decoration: none;
}
p.navigation { 
   margin-top: 0.9em;
   margin-bottom: 2.0em;
   padding: 0.25em 0em 0.18em 0em;
/* background-color: #2040a0;*/ /*as in aulas.css: too dark*/
/* background-color: #6060d0;*/
   background-color: #4060c8;
   color: white; 
   text-align: center;
   font-size: 0.85em; /*17px */
/* font-weight: bold;*/
   border-top: 1px solid #205080;
   border-bottom: 1px solid  #205080;
}
a.navig:link {
   color: #ddb0ff;
   color: #ddddff;
   text-decoration: none;
}
a.navig:visited {
   /* color: #000820; */
   color: #ddddff;
   color: white;
   text-decoration: none;
}
a.navig:hover, a.navig:focus {
  color: #ddb0ff;
  color: yellow;
}
a.navig:active {
  color: #ddb0ff;
}
span.dull {
   color: #a0a0d0;
   color: #ddddff;
}

div.epigrafes {
  margin-top: 0rem;
  margin-bottom: 3rem;
  font-size: 0.80em; /*16px*/
  text-align: right;
/*color: #2040c0;*/
  border: 0px solid black; /*scaffold*/
}
span.epigrafesignature {
/*color: #2040c0;*/
}
h1.capa {
   margin-top: 1.5em;
   margin-bottom: 1em;
}
h2.capa {
   margin-top: 2em;
   margin-bottom: 1em;
}
h3.capa {
   margin-top: 2.5em;
   margin-bottom: 1em;
}
kbd { 
  font-family: "Courier New", "Courier 10 Pitch", "Inconsolata", "Consolas", "Droid Sans Mono", "Lucida Console", "Liberation Mono", "Monaco", "DejaVu Sans Mono", monospace, monospace;
/*end up being monospace*/
  white-space: nowrap;
  white-space: pre;
  font-size: 1.00em;
}
kbd.ws { 
  word-spacing: -0.25em;
}

ul.sumario {
  margin-left: 2%; /*30%;*/
/*margin-right: 20%;*/
}
ul.sumario2 {
  margin-left: 2%; /*30%;*/
/*margin-right: 30%; */
  font-size: 0.95em; /*19px*/
}

div.terms {
 margin-left: 2%;
 margin-bottom: 4em;
 font-size: 0.90em; /*18px*/
}
div.terms kbd {
  font-size: 0.90em; /*18px*/
  font-weight: bold;
}
div.termss {
 margin-left: 2%;
 margin-bottom: 4em;
 font-size: 0.85em; /*17px*/
}
div.termss li {
  margin-top: 0.1em
}

p.extratop { 
  margin-top: 2.0em;
  margin-top: 1.5em;
}
p.center {
   text-align: center;
}
.big {
   font-size: 1.15em; /*23px*/
}
.small {
   font-size: 0.85em; /*17px same as footer*/
}
span.emph {
   color: #ffff80;
}
span.smallcaps {
   font-variant: small-caps;
}
span.nw {
  white-space: nowrap;
  hyphens: none;
}
.hide {
   margin-top: 1em;
   background-color: #303030;
}
div.preface {
  font-size: 0.85em; /*17px*/
}
blockquote { /*used only in preface*/
  font-size: 0.9705em; /*0.9705 x 17px = 16.5px*/
}
ul.books {
  font-size: 0.85em; /*17px*/
}
ul.square { 
  list-style-type: square;
}
li.space {
  margin-top: 0.2em;
}
li.sspace {
  margin-top: 0.5em;
}
li.ssspace {
  margin-top: 0.7em;
}

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.tC {
   margin-top: 2.0em;
}
div.bC {
   margin-bottom: 2.0em;
}
img.noborder {
  vertical-align: baseline;
  vertical-align: middle;
  vertical-align: bottom;
  vertical-align: top;
  height: 8em;
  border: 0px solid black;
}
img.wordle {
  vertical-align: middle;
  opacity: 0.3;
/*filter: alpha(opacity=30); For IE8 and earlier */ /*NO!!*/
  margin: 10px 0px 10px 10px;
  border: 0px solid black;
}
img.wordle:hover, img.wordle:focus {
  vertical-align: middle;
  opacity: 1.0;
  margin: 10px 0px 10px 10px;
  border: 0px solid black;
}
img.h140 {
  height: 140px;
  height: 6.7em;
}
img.h150 {
  height: 150px;
  height: 7.1em;
}
div.footer {
  margin-top: 2em;
  margin-bottom: 35em;
  font-size: 0.85em; /*17px same as .small*/
}
div.footer hr {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}
div.footer p {
  margin-top: 0em;
  margin-bottom: 0em;
}
div.footer p.license {
  margin-top: 0.5em;
  margin-bottom: 4em;
}
div.footer p.validator {
  margin-top: 0em;
  text-align: right;
}
div.footer img.r {
  border: 0em;
  /*width:  88px;*/
  /*height: 31px;*/
  width:  77px;
  width:  60px;
  padding-left: 10px;
/*float:  right;*/
  text-align: right;
}
div.propaganda {
  margin-top: 8em;
  font-size: 0.80em; /*16px*/
}