/* GRAFOS/algoritmos_para_grafos/aulas/code-print.css */
HTML {
  font-size: 16px; /* master font-size for whole print site*/ 
}
body { 
  font-size: 1.0em; /*1.0 x 16px = 16px*/
  margin-left: 1.5%;
  margin-right: 0.5%;
  color: black;
}
h1 {
  margin-top: 4em;
}
p.header {
  margin-top: -1em;
}
div.thmhlt { /* theorem with highlighted background */
  margin-left: 3em;
}
div.thm { /* theorem */
  margin-left: 3em;
}
div.progframed {
   margin-right: 3em;
   margin-left: 2em;
}
div.prog {
   margin: 1.5em 2em 1.5em 2em;
}
/*
kbd {
  font-size: 0.98em;
}
pre {
  font-size: 0.92em;
}
pre.doc {
  font-size: 0.86em;
}
pre.docdim {
  font-size: 0.86em;
}
*/
pre.ind {
  margin-left: 3em;
}
pre.framed {
  margin-left: 2em;
  margin-right: 2em;
}

a:link {
  text-decoration: underline;
/*font-weight: bold;*/
} 
a:visited {
  text-decoration: underline;
/*font-weight: bold;*/
}
a:link kbd {
/*text-decoration: underline; do not!*/
/*font-weight: bold;*/
} 
a:visited kbd {
/*text-decoration: underline; no!*/
/*font-weight: bold;*/
}
pre.doc a:link {
  text-decoration: underline;
/*font-weight: bold;*/
} 
pre.doc a:visited {
  text-decoration: underline;
/*font-weight: bold;*/
}
pre.doc a:link kbd {
  text-decoration: underline;
/*font-weight: bold;*/
} 
pre.doc a:visited kbd {
  text-decoration: underline;
/*font-weight: bold;*/
}
pre.code a:link {
  text-decoration: underline;
/*font-weight: bold;*/
} 
pre.code a:visited {
  text-decoration: underline;
/*font-weight: bold;*/
}
span.attrib {
  color: #a0b0a0; 
}
.dim {
  color: #c0c0c0; 
}
.dim a:link {
  text-decoration: underline;
/*font-weight: bold;*/
} 
.dim a:visited {
  text-decoration: underline;
/*font-weight: bold;*/
}
.dim a:link kbd {
  text-decoration: underline;
/*font-weight: bold;*/
} 
.dim a:visited kbd {
  text-decoration: underline;
/*font-weight: bold;*/
}
div.exr {
  color: black;
}
div.exr kbd {
   color: black;
}
div.exr pre {
   color: black;
}
div.exr a:link {
  text-decoration: underline;
} 
div.exr a:visited {
  text-decoration: underline;
}
div.exr a:link kbd {
  text-decoration: underline;
/*font-weight: bold;*/
} 
div.exr a:visited kbd {
  text-decoration: underline;
/*font-weight: bold;*/
}
img.h40 { /*1*/
  height: 2.3em;
}
img.h45 { /*1*/
  height: 2.6em;
}
img.h50 { /*4*/
  height: 2.9em;
}
img.h55 { /*2*/
  height: 3.2em;
}
img.h60 { /*12*/
  height: 3.5em;
}
img.h65 { /*4*/
  height: 3.8em;
}
img.h70 { /*11*/
  height: 4.1em;
}
img.h75 { /*14*/
  height: 4.4em;
}
img.h80 { /*19*/
  height: 4.7em;
}
img.h83 { /*2*/
  height: 4.9em;
}
img.h85 { /*15*/
  height: 5.0em;
}
img.h90 { /*11*/
  height: 5.3em;
}
img.h95 { /*11*/
  height: 5.6em;
}
img.h100 { /*24*/
  height: 5.9em;
}
img.h105 { /*3*/
  height: 6.2em;
}
img.h110 { /*15*/
  height: 6.5em;
}
img.h115 { /*4*/
  height: 6.8em;
}
img.h120 { /*20*/
  height: 7.1em;
}
img.h130 { /*6*/
  height: 7.7em;
}
img.h140 { /*3*/
  height: 8.3em;
}
img.h150 { /*6*/
  height: 8.9em;
}
img.h160 { /*4*/
  height: 9.5em;
}
img.h170 { /*3*/
  height: 10.1em;
}
img.h180 { /*0.5*/
  height: 10.7em;
}
img.h190 { /*3*/
  height: 11.3em;
}
img.h200 { /*14*/
  height: 11.9em;
}
img.h210 { /*4*/
  height: 12.5em;
}
img.h220 {
  height: 14em;
}
img.h250 { /*14*/
  height: 15.5em;
}
img.h300 { /*11*/
  height: 18.5em;
}
img.h340 { /*1*/
  height: 20.9em;
}
img.h350 { /*1*/
  height: 21.5em;
}
img.h400 { /*0.5*/
  height: 24.5em;
}
img.h500 { /*4*/
  height: 30.5em;
}
img.h600 { /*0.5*/
  height: 42.5em;
}