/* GRAFOS/2013-0328/style.css (veio de GRAFOS/2012-320/) */
BODY {
   margin-left: 4%;
   margin-right: 4%;
   background: white;
   color: #000030;
   text-align: left;
   font-size: 100%; /*some say this helps MS-IE scale fonts correctly*/
   font-family: "Book Antiqua", "Century Schoolbook L", "DejaVu Serif", "Garamond", serif; 
}

tt, pre {
/*font-family: "Courier New", monospace;*/
  font-family: monospace;
  font-size: 0.98em;
}

/* ordinary links */
a:link {
  color: #0000e0;
  text-decoration: underline;
} 
a:visited {
  color: #0000b0;
  text-decoration: none;
}
a:hover { /* Must come after :link and :visited */
  color: red;
  text-decoration: underline;
}
a:active {
  color: red;
  text-decoration: underline;
} 
p.menu {
/*font-family: sans-serif, Arial, Helvetica;*/
  font-size: 75%;
  font-weight: bold;
  text-align: right; 
  color: #000080; 
  padding-bottom: 0.1em;
  border-bottom: 2px solid #000080;
  margin-bottom: 4em;
}
.menu a:link { 
  text-decoration: none; 
  color: #000080;
} 
.menu a:visited { 
  text-decoration: none; 
  color: #000080;
} 
.menu a:hover { 
  text-decoration: underline; 
  color: #d05010;
} 
.menu a:active { 
  text-decoration: underline; 
  color: #d05010;
}
/*** browser does not support yet
     corresponds to transition target="_blank"
a.newtab { 
  target-name: new;
  target-new: tab;
} 
***/

/* my standard */
h1.center {
   margin-top: 1em; 
/* margin-bottom: 1em; */
 /*color: #d05010; /*brown-orange */
   color: #b03000; /*dark brown-orange*/
   text-align: center;
}
h1.maintitle {
    margin-top: 0.5em; 
   margin-bottom: 0.3em;
 /*color: #d05010; brown-orange */
   color: #b03000; /*dark brown-orange*/
   text-align: left;
}
h1 {
   margin-top: 1em; 
 /*color: #d05010; brown-orange */
   color: #b03000; /*dark brown-orange*/
   text-align: left;
}
h2.center {
   margin-top: 2em; 
   margin-bottom: 1em; 
 /*color: #d05010; brown-orange*/
   color: #b03000; /*dark brown-orange*/
   text-align: center; 
}
h2 {
   margin-top: 2em; 
   margin-bottom: 1em; 
 /*color: #d05010;*/ /*brown-orange*/
   color: #b03000; /*dark brown-orange*/
   text-align: left; 
}
h3 {
   margin-top: 2em; 
 /*color: #d05010;*/ /* brown-orange */
   color: #b03000; /*dark brown-orange*/
   text-align: left; 
}
h3.blue {
   margin-top: 1em; 
   color: #000060; /* dark blue */
   text-align: left; 
}
h4 {
   margin-top: 1em; 
   color: #d05010;
   text-align: left; 
}
p.epigraph {
   margin-top: 2em;
   text-align: right;
 /*font-size: x-small; the "x-" is to appease MS-IE*/
   font-size: 87%; /*same as small; because of MS-IE*/
}
p.epigraphsignature {
   margin-top: 0.0em;
   text-align: right;
 /*font-size: x-small; the "x-" is to appease MS-IE*/
   font-size: 87%; /*same as small; because of MS-IE*/
}
p.right {
   text-align: right;
}
p.display {
   text-align: center;
}
p.sp {
  margin-top: 0.5em;
}
span.nw {
  white-space: nowrap;
}
div.small {
 /*font-size: x-small; the "x-" is to appease MS-IE*/
   font-size: 87%; /*same as small; because of MS-IE*/
}
div.large {
   font-size: 105%;
}
div.clear {
  clear: both;
}
span.highlight { /* substitute for italic */
   background: #ffffb0; 
}
span.sc {
   font-variant: small-caps;
}
span.green {
   color: #00b000;
}
span.red {
   color: red;
}
span.carmin {
   color: #a00000;
}

span.gray {
   color: #80a0b0;
}
p.gray {
   color: #80a0b0;
}
div.gray {
   color: #80a0b0;
}
p.dim { /* gray text */
/*color: #808080;*/
  color: #a0a0a0; 
}
span.dim { /* gray text */
/*color: #808080;*/
  color: #a0a0a0; 
}
li.sp {
  margin-top: 0.3em;
}
li.ssp {
  margin-top: 0.5em;
}
li.exr {
  margin-top: 2em;
}
li.exrhide {
  margin-top: 2em;
  background-color: #d0ffd0;
}
li.hide {
/* display: inline; */
/* display: none;*/
/* font-style: italic;*/
   margin-top: 0.2em;
   color: black;
   background-color: #d0ffd0;
}
span.hide {
   display: inline;
/* display: none;*/
/* font-style: italic;*/
   color: black;
   background-color: #d0ffd0;
}
p.hide {
   display: block;
/* display: none;*/
/* font-style: italic; */
   color: black;
   background-color: #d0ffd0;
}
div.hide {
   display: block;
/* display: none;*/
/* font-style: italic; */
   color: black;
   background-color: #d0ffd0;
}
pre.hide {
   background-color: #d0ffd0;
}
pre {
   margin-top: 1.5em;
   margin-bottom: 1.5em;
}
pre.display {
   margin-top: 1.5em;
   margin-bottom: 1.5em;
   text-align: center;
   font-size: 100%; /*was 98%, 96%, 90%*/
}
pre.displaysmall {
   margin-top: 1em;
   margin-bottom: 1em;
   text-align: center;
   font-size: 87%;
}
pre.small {
   margin-top: 1em;
   margin-bottom: 1em;
   font-size: 87%;
}
pre.code {
  margin-top: 1em;
  margin-bottom: 1em;
  line-height: 125%;
  font-weight: bold;
}
blockquote.hlt {
   border: solid; /* nice with overall white background */
   border-width: 1px;  /* nice with overall white background */
   margin-top: 2em;
   margin-bottom: 2em;
   margin-left: 1em;
   margin-right: 2em;
   padding-top: 0.1em;
   padding-left: 1em;
   padding-right: 0.5em;
   padding-bottom: 0.1em;
/* background-color: #ffffe4; */
   background-color: #ffffff;
}

ol.sublista {
  margin-top: 0.5em;
  margin-bottom : 0em;
  list-style-type: lower-latin;
}
span.invis {
   visibility: hidden;
}

.hint {
  float: right;  
  display: block; 
  width: 40%;
  background: #e0e0e0; 
  margin: 0.2em;
  border-right: 1px solid black; 
  border-bottom: 1px solid black;
  color: #2010b0; 
  padding: 0.3em;
  text-align: right;
  font-size: smaller;
}
ul.foot {
  margin-top: 0em;
  margin-bottom : 0em;
}
li.foot {
  font-size: 87%; /*same as small; because of MS-IE*/
}
p.footer {
   margin-top: 0px;
   margin-bottom: 0px;
 /*font-size: x-small; the "x-" is to appease MS-IE*/
   font-size: 87%; /*same as small; because of MS-IE*/
}
p.footer2 {
   margin-top: 0.5em;
   margin-bottom: 0px;
 /*font-size: x-small; the "x-" is to appease MS-IE*/
   font-size: 87%; /*same as small; because of MS-IE*/
}
img.r {
   border: 0;
   width:  88px;
   height: 31px;
   padding-left: 10px;
   float:  right;
}
small {
   font-size: 87%; /*because of MS-IE*/
}
p.end-of-page {
  margin-bottom: 25em;
}

/**** begin lectures ****************************************
h2 {
   margin-top: 4em;
   color: #b03000;
}
h3 {
   margin-top: 4em;
   color: #b03000;
}
tt {
  font-weight: bold;
}
pre {
  margin-top: 3em;
  margin-bottom: 3em;
  font-weight: bold;
  line-height: 150%;
}
pre.code {
  margin-top: 3em;
  margin-bottom: 3em;
  line-height: 140%;
  font-weight: bold;
}
p {
   margin-top: 4em;
}
li.exr {
  margin-top: 5em;
}
li.exrhide { 
  display: none;
}
li.hide { 
  display: none;
}
span.hide { 
  display: none;
}
p.hide { 
  display: none;
}
pre.hide { 
  display: none;
}
div.hide { 
  display: none;
}
**** end lectures ******************************************/
/*visibility: hidden;*/
/*visibility: none;*/