/* 
ALGORITMOS/algoritmos/aulas/aulas.css
large body margin-left,
negative margin-left in h1, h2, h3,
*/
BODY {
   background-color: #ffffff;
   color: #000000;
   /* color: #002050; */
   margin-left:  9%; /* nothing else dependes on this */
   margin-right: 6%; /* nothing else dependes on this */
   /* font-family: sans-serif; */
}
a:link {
   text-decoration: none;
}
a:visited {
   text-decoration: none;
}
a:hover { /* Must come after :link and :visited */
   color: red;
}
a:active {
   color: red;
}
a.name {
   color: #000000;
   text-decoration: none;
}
/* acronym */
acronym {
   color: blue;
   /* text-decoration: underline; */
}
acronym:hover {
   color: red;
}

/* nav = navigation panel */
a.nav:link {
   color: white;
   text-decoration: none;
}
a.nav:visited {
   color: white;
   text-decoration: none;
}
a.nav:hover {
   color: red;
}
a.nav:active {
   color: red;
}

/** A few pixels shorter, but it works (in Mozilla and MSExplorer. 
    There are more urgent things to change, though...
table.nav {
   cellspacing: 0;
   cellpadding: 1;
   width: 100%;
}
***/

td.nav {
   /* background: #003357; */
   /* background: #4060c0; */
   background: #2040a0; /* as in livros.html */
   /* background: #205080; */
   color: #ffffff;
   font-family: sans-serif;
   font-size: small;
   text-align: center;
}
h1.center { /* used only in idx.html */
   margin-top: 1.5em;
   margin-bottom: 1em;
   text-align: center;
}

h1 {
   color: navy;
   margin-left: -5%; /* body margin-left is 9% */
   margin-top: 1.5em;
   margin-bottom: 1em;
}


h2 {
   color: navy;
   margin-left: -5%; /* body margin-left is 9% */
   margin-top: 1.5em;
   margin-bottom: 1em;
}
h3 {
   /*color: magenta;*/
   margin-left: -3%; /* body margin-left is 9% */
   margin-top: 1.5em;
   margin-bottom: 1em;
}
p.center {
   text-align: center;
}
p.right {
   text-align: right;
}
div.left {
   width: 105%; /* 100 plus body margin-left */
   margin-left: -5%; /* same as that of h1 */
}
/* Exercises OLD
h4.lnk2exr {
   margin-top: 1.5em;
   margin-bottom: 0em;
   margin-left: 0em;
   margin-right: 0em;
   text-align: right; 
} */
/* Exercises New: identical to ordinary h3 */
h3.lnk2exr {
   margin-left: -3%;
   margin-top: 1.5em;
   margin-bottom: 1em;
}

/* exercises
td.lnk2exr {
   background: #70a0ff;
   color: #ffffff;
   text-decoration: underline;
}
*/


/*
hr.left {
   width: 120%; /* 100 plus body margin-left??? */
   margin-left: -10%; /* same as that of h1??? */
}
*/

/******* Nice, but too gay
h2.bg {
   background-color: #b0d0ff;
   padding: 0em;
   margin-top: 2em;
   margin-bottom: 0.5em;
   margin-left: 0em;
   margin-right: 0em;
}
********************/

p.noindent { /* within a <li> */
   margin-left: 0em;
}
/* Does nothing, but is a convenient mark of <p> within <li> */

dfn {
   color: #aa0000;
   font-weight: bold;
}
span.smallcaps {
   font-variant: small-caps;
}
span.red {
   color: red;
   /* font-weight: bold; */
}
span.blood {
   color: #aa0000;
}
span.blue {
   color: blue;
}
span.hide {
   color: green;
}
span.gray { /* comments in text */
   color: gray;
   /* color: #666666; */
   /* background: white; */
}
span.comm { /* comment in code */
   /* color: #999999; */
   color: gray;
   /* background-color: #ffffff; */
}
span.ustress { /* underlined stress */
   color: #000000;
   text-decoration: underline;
   font-style: italic; /* oblique = same effect*/
}
span.stress { /* dicionario */
   /* color: #0000c0; blue */
   color: #702000;
   font-style: italic;
}

p.epigrafe {
   font-size: small;
   text-align: right;
   color: #703000;
}

/* ***************************
Funciona mal no MS Explorer porque não reconhece font-family default 
Funciona bem no Mozilla
pre.pseudocode { 
   letter-spacing: 0pt;
   white-space: pre;     ((não faz diferença ))
   margin-top: 1.5em;
   margin-bottom: 1.5em;
   margin-left: 2.5em;
   margin-right: 5em;
   font-family: default, sans-serif, Arial, Helvetica;
   font-size: 13pt;
}
************************ */



pre.ind { /* indented, as in blockquote */
   white-space: pre;
   margin-top: 1em;
   margin-bottom: 1em;
   margin-left: 2.7em;
   margin-right: 2em;
}
pre.hlt { /* yellow background */
   background-color: #ffffd6;
   white-space: pre;
   padding: 8px;
   margin-top: 1.5em;
   margin-bottom: 1.5em;
   margin-left: 2.5em;
   margin-right: 5em;
}

pre.code { /* yellow background */
   background-color: #ffffd6;
   white-space: pre;
   padding: 8px;
   margin-top: 1.5em;
   margin-bottom: 1.5em;
   margin-left: 2.5em;
   margin-right: 5em;
}

blockquote.problem {
   background-color: #ffffd6;
   padding: 8px;
   margin-top: 1.5em;
   margin-bottom: 1.5em;
   margin-left: 2.5em;
   margin-right: 5em;
}

tt.hlt {  /* yellow background */
   background-color: #ffffe0;
}

table.aa {
   margin-top: 0.5em;
   margin-bottom: 0.5em;
}
table.ab {
   margin-top: 0.5em;
   margin-bottom: 1em;
}
table.ba {
   margin-top: 1em;
   margin-bottom: 0.5em;
}
table.bb {
   margin-top: 1em;
   margin-bottom: 1em;
}
table.ca {
   margin-top: 1.5em;
   margin-bottom: 0.5em;
}
table.cb {
   margin-top: 1.5em;
   margin-bottom: 1em;
}

table.cw { /* code wrapper; I will not use this */
   margin-top: 1em;
   margin-bottom: 1em;
   margin-left: 3em;
   background: #ffffd6;
   cellpadding: 20; /* does not work */
   cellspacing: 40; /* does not work */
}

div.exr {
   margin-top: 2em;
   margin-left: -1.5%;
   background-color: #d8d8d8;
   padding-left: 0.5em;
   padding-right: 0.5em;
   padding-top: 0.5em;
   padding-bottom: 0.5em;
}
h2.exr {
   margin-left: 0%;
   margin-top: 0em;
   margin-bottom: 1em;
}
h3.exr {
   margin-left: 0%;
   margin-top: 0em;
   margin-bottom: 1em;
}

pre.exr { /* yellow background */
   background-color: #d8d8d8;
   white-space: pre;
   padding: 8px;
   margin-top: 1.5ec,m;
   margin-bottom: 1.5em;
   margin-left: 2.5em;
   margin-right: 5em;
}