/* algoritmos_em_grafos/style.css */
HTML {
  font-family: "DejaVu Serif", Purisa; /*good*/
  font-family: "TeXGyrePagella", "Purisa"; /*good*/
  font-family: "URW Bookman L", Purisa; /*OK*/
  font-family: "Century Schoolbook L", Purisa; /*OK*/
  font-family: "Comic Sans MS", Purisa; /*OK*/
  font-family: serif, Purisa; /*good, bad on mobile*/
  font-family: "Latin Modern Math", Purisa; /*not available*/  
  font-family: "Book Antiqua", Purisa; /*not available*/
  font-family: "Garamond", Purisa; /*not available*/
  font-family: "DejaVu Serif", "TeXGyrePagella", "Century Schoolbook L", "URW Bookman L", "Comic Sans MS", "Purisa", "Latin Modern Math", "Garamond", "Book Antiqua", serif; 
/*
  "Georgia" is bad because "0" is like "o"
  "Bookman Old Style" not good: overlaps letters like "<var>g</var>" and "+")
*/
  font-size: 20px;
  text-align: left;
  background-color: white;
  color: #000000; /* #333333 #666666 */
}
BODY {
  font-size: 1em;
  margin-left: 4%;
  margin-right: 3%;
  word-spacing: 2px;
  hyphens: none;
}
p.menu {
  font-size: 0.85em; 
/*font-weight: bold;*/ 
  text-align: right; 
  margin-top: 0em;
  margin-bottom: 4em;
  padding-top: 0em;
  padding-bottom: 0.1em;
  border-bottom: 2px solid #203080;
  white-space: nowrap;
}
.menu a:link { 
  text-decoration: none; 
  color: #203080;
} 
.menu a:visited { 
  text-decoration: none; 
  color: #203080;
} 
.menu a:hover { /*must come after link and visited*/
  text-decoration: underline; 
  color: red;
} 
.menu a:active { /*must come after hover*/
  text-decoration: underline; 
  color: red; 
} 
a:link {
  color: #0000ff;
  text-decoration: none;
} 
a:visited {
  color: #0000f0;
  text-decoration: none;
}
a:hover { /* Must come after :link and :visited */
  color: red;
  text-decoration: underline;
} 
a:active {
  color: red;
  text-decoration: underline;
} 
abbr {
   color: #000000;
   /* text-decoration: underline; */
}
abbr:hover {
   color: red;
   text-decoration: underline;
}

h1 {
/* margin-left: -3%; */
   margin-bottom: 1em;
/* color: #ff6633; */ /* orange */
/* color: #ff8040; */ /* pale orange */
/* color: #000066; */ /* dark blue */
   hyphens: none;
   color: #203080;
}
h2 {
   margin-top: 2em;
   margin-bottom: 0.5em;
   hyphens: none;
/* margin-left: -3%; */
/* color: #3080e0; */ /* pale blue */
/* color: #0080c0; */ /* greenish blue (no good) */
/* color: #8080ff; */ /* pale blue-violet */
/* color: #ff6633; */ /* orange */
/* color: #ff8040;*/    /* pale orange */
   color: #d05010; /*brown-orange*/
/* color: #c04010;*/ /*brown-orange*/
/* color: #b04010;*/  /*dark brown-orange*/
/* color: #ff8080; */ /* pale orange-pink */
/* color: #ff80c0; */ /* pale pink */
/* color: #00ff80; */ /* pale green (too bright) */
   font-size: 1.5em;
}
h2.blue { /* only in sites.html and bib.html */
/* margin-left: -3%; */
/* margin-top: 2em; */
  hyphens: none;
   color: #203080; 
   color: #204090; 
}
h2.exr {
  margin-top: 1.5em;
  margin-bottom: 0.5em;
  hyphens: none;
  font-size: 1.4em; /*default is 1.5em*/
  color: #606070;  
}
h3 {
  /* margin-left: -3%; */
  hyphens: none;
  color: #70b0ff;
}
h4, h5, h6 {
  hyphens: none;
/* margin-left: -3%; */
}
p.epigraph {
  margin-top: 1.5em;
  margin-bottom: 1.5em;
  margin-left: 18%;
  margin-right: 2%;
  hyphens: none;
  text-align: right;
  word-spacing: 0px;
  letter-spacing: 0px;
  font-size: 0.80em; /*16px*/
}
em.sl { 
  font-style: oblique; /*does note work*/
}
kbd {
  letter-spacing: 0px;
  word-spacing: 0px;
/*font-family: monospace, "Lucida Console", "Courier", "Monaco", "Menlo";*/
  font-family: "Lucida Console"; /*not really fixed-width*/
  font-family: "Monaco"; /*not really fixed-width*/
  font-family: "Menlo"; /*not really fixed-width*/
  font-family: "Ubuntu mono";  /*good, small*/
  font-family: "Courier"; /* Android does not have this :-( */
  font-family: "Courier 10 Pitch"; /*good*/
  font-family: "Courier New"; /*good*/
  font-family: monospace, monospace; /*good*/
  font-size: 0.80em; /*16px*/
  font-size: 0.83em; /*16.6px*/
  font-size: 0.85em; /*17px*/
}
pre { /*only used in old, hidden, and solutions stuff*/
  letter-spacing: 0px;
  word-spacing: 0px;
/*font-family: monospace, "Lucida Console", "Courier", "Monaco", "Menlo";*/
  font-family: "Lucida Console"; /*not really fixed-width*/
  font-family: "Monaco"; /*not really fixed-width*/
  font-family: "Menlo"; /*not really fixed-width*/
  font-family: "Ubuntu mono";  /*good, small*/
  font-family: "Courier"; /* Android does not have this :-( */
  font-family: "Courier 10 Pitch"; /*good*/
  font-family: "Courier New"; /*good*/
  font-family: monospace, monospace; /*good*/
  font-size: 0.75em; /*15px*/
  font-size: 0.775em; /*15.5px*/
  line-height: 130%;
}
pre.hlt { /* highlighted pre */
   /* 
   font-family: monospace; 
     bad in MS Explorer, except if combined with font-weight:bold 
   */
   font-size: 0.75em;
   color: #000000; /* #006666 dark green #006633 #006666 */
   /* background-color: #ffffff; */
   margin-right: 3em;
   padding: 8px;
   background-color: #ffffc0;
   line-height: 130%;
}
pre.gray {
   font-size: 0.75em;
   color: #707070; /* dark green #006666 */
   /* background-color: #ffffff; */
}
kbd.red {
   font-size: 0.85em;
   /* font-style: italic; */
   /* font-family: arial; */
   color: #d00000;
}
var {
  hyphens: none;
}
var.b {
  font-weight: bold;
  hyphens: none;
}
var.blood {
  color: #c00000;
  hyphens: none;
}
table.special {
  margin: 1.0em 0em 1em 1.5em;
/*border-spacing: 0.0em 0.0em;*/
  border-collapse: collapse;
  font-size: 0.95em;
/*display: inline; no!*/
  vertical-align: bottom; /*needed?*/
  border: 0px solid black; /*scaffold*/   
}
table.special td.a { /*row labels*/
  padding: 0.0em 1em 0.0em 0.0em;
  text-align: left;
  white-space: nowrap;
  border: 0px solid black; /*scaffold*/   
}
table.special td.b { /*body*/
  padding: 0.0em 0.2em 0.0em 0.2em;
  text-align: center;
  white-space: nowrap;
  border: 0px solid black; /*scaffold*/   
}
table.symbols { 
  margin-left: auto;
  margin-right: auto;
  margin-top: 1em;
  margin-bottom: 1em;
  border-spacing: 0.1em 0.1em;
  border-collapse: collapse;
  font-size: 0.90em;
  border: 0px solid black; /*scaffold*/   
}
table.symbols td.a { 
  padding: 0.0em 0.8em 0.0em 0.3em;
  text-align: center;
  border: 0px solid black; /*scaffold*/   
  border-bottom: 0px solid #808080;
}
table.symbols td.b { 
  padding: 0.0em 0.8em 0.0em 0.3em;
  text-align: center;
  border: 0px solid black; /*scaffold*/   
  border-bottom: 0px solid #808080;
}
table.symbols td.c { 
  padding: 0.0em 0.8em 0.0em 0.5em;
  text-align: left;
  border: 0px solid black; /*scaffold*/   
  border-bottom: 0px solid #808080;
}
table.matrix { 
  margin-left: auto;
  margin-right: auto;
  margin-top: 1em;
  margin-bottom: 1em;
  border-spacing: 0.0em 0.0em;
  border-collapse: collapse;
/*display: inline; no! */
/*display: inline-flex;*/
  vertical-align: top; /*??*/
  border: 0px solid black; /*scaffold*/   
}
table.small80 { 
  font-size: 0.80em;
}
table.small90 { 
  font-size: 0.90em;
}
table.matrix tr.a { /*column labels*/
  border: 0px solid black; /*scaffold*/   
}
table.matrix tr.b { /*labels*/
  border: 0px solid black; /*scaffold*/   
}
table.matrix td.a { /*row labels*/
  padding: 0.0em 0.7em 0.0em 0em;
  text-align: right;
  border: 0px solid black; /*scaffold*/   
}
table.matrix td.b { /*body*/
  padding: 0.0em 0.3em 0.0em 0.3em;
  text-align: center;
  border: 0px solid black; /*scaffold*/   
}
table.container {
  padding: 0em 0em 0em 0em;
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: auto;
  margin-right: auto;
/* border-collapse: collapse;*/ /*no!*/ 
  border-spacing: 2em 0em;
  font-size: 1em;
  border: 0px solid black; /*scaffold*/   
}
table.container td {
  padding: 0em 0em 0em 0em;
  vertical-align: top;
  border: 0px solid black; /*scaffold*/   
}
p.right {
   text-align: right; 
}
p.center {
  text-align: center;
  margin-left: auto;
  margin-right: auto;
}
p.extratop {
  margin-top: 2em;
}
.ind {
  margin-left: 2em;
}
span.mod { /* name of a SGB module */
  font-size: 0.85rem; /*17px*/
}
dt.bib { /* used???????????????????????????*/
  margin-top: 0.5em;
}
ul, ol {
  hyphens: none;
}
ul.zero {
  margin-top: 0.3em;
  margin-bottom: 0.0em;
  list-style-type: circle;
}
ul.zero li.zero { /*yes, li needs ".zero"*/
  margin-top: 0em;
}
ul.graph-examples {
  list-style-type: disc;
  hyphens: auto;
}
ul.graph-examples li {
  margin-top: 0.3em;
}
ul.bib {
  font-size: 0.95em;
  list-style-type: none;
  list-style-type: circle;
  list-style-type: square;
  hyphens: none;
}
ul.bib li {
  margin-top: 0.5em;
}
ul.bib li p {
  margin-top: 0.3em;
}
ul.remissivo {
  font-size: 0.95em;
  list-style-type: none;
  hyphens: none;
}
ul.remissivo li {
  margin-top: 0.1em;
}
p.indent0 { /* for writing pseudocode */
  margin-top: 0em; /* does not show in print! */
  margin-bottom: 0em; /* does not show in print! */
  margin-left: 0em;
  white-space: nowrap;
}
p.indent1 { /* for writing pseudocode */
  margin-top: 0em; /* does not show in print! */
  margin-bottom: 0em; /* does not show in print! */
  margin-left: 2em;
  white-space: nowrap;
}
p.indent2 { /* for writing pseudocode */
  margin-top: 0em; /* does not show in print! */
  margin-bottom: 0em; /* does not show in print! */
  margin-left: 4em;
  white-space: nowrap;
}
p.indent3 { /* for writing pseudocode */
  margin-top: 0em; /* does not show in print! */
  margin-bottom: 0em; /* does not show in print! */
  margin-left: 6em;
  white-space: nowrap;
}
/* ******************
Excelent in Netscape, but does not work in MS Explorer
p.pseudocode { 
   white-space: pre; Does not work in MS Explorer
   margin-top: 0em;
   margin-bottom: 0em;
   margin-left: 3em;
}
**************** */

/* ************************************
Good in Mozilla.
Bad in MS Explorer: does not recognize font-family default.
pre.pseudocode { 
   background-color: #ffffff; same as span class="invis"
   letter-spacing: 0px;
   margin-top: 1.5em;
   margin-bottom: 1.5em;
   margin-left: 2.5em;
   margin-right: 5em;
   font-family: default, sans-serif, Arial, Helvetica;
   font-size: 13px;
}
******************* */

div.pseudocode {
  margin-top: 1.5em;
  margin-bottom: 1.5em;
  margin-left: 2em;
  white-space: nowrap;
  font-size: 1em; /*20px*/
  font-size: 0.95em; /*19px*/
  word-spacing: 2px;
  line-height: 120%; 
  border: 0px solid black; /*scaffold dashed dotted*/
}
div.hlt { /*to be used inside pseudocode*/
   margin-left: 1.5em;
   padding: 0.5em;
   background-color: #ffffc0;
}
div.in-exr { /*to be used in pseudocode context*/
  margin-top: 0.5em;
  margin-bottom: 1em;
  margin-left: 1em;
  font-size: 0.90em;
  line-height: 110%; 
  border: 0px solid black; /*scaffold dashed dotted*/
}
div.pseudocode p.skip {
  padding-bottom: 0.6em;
  border: 0px solid black; /*scaffold dashed dotted*/
}
div.pseudocode p.ind0 {
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: 0em;
  border: 0px solid black; /*scaffold dashed dotted*/
}
div.pseudocode p.ind1 {
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: 1.5em;
  border: 0px solid black; /*scaffold dashed dotted*/
}
div.pseudocode p.ind2 {
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: 3em;
  border: 0px solid black; /*scaffold dashed dotted*/
}
div.pseudocode p.ind3 {
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: 4.5em;
  border: 0px solid black; /*scaffold dashed dotted*/
}
div.pseudocode p.ind4 {
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: 6em;
  border: 0px solid black; /*scaffold dashed dotted*/
}
div.pseudocode p.ind5 {
  margin-top: 0em;
  margin-bottom: 0em;
  margin-left: 7.5em;
  border: 0px solid black; /*scaffold dashed dotted*/
}

span.smallcaps {
/*font-style: italic;*/
  font-variant: small-caps;
}
dfn {
   font-style: italic;
   /* color: #990000; */
   /* color: #660000; */
   /* color: #993300; */
   /* color: #880000; */ /* very nice, but I will try someting different */
   /* font-weight: bold; */
   background-color: #ffffc0;
}
.en {
  hyphens: none;
}
.red {
   color: #b00000; /* 990000 660000 993300 */
}
.blood {
   color: #880000; /* #552800 #660000 */
   /* #663300 is a bad olive */
   color: #c00000; /*blood*/
}
span.comm { /*comment in code*/
   color: #d08080;
}
p.gray {
   color: #707070;
}
span.gray {
   color: #707070;
}
span.darkgray {
   color: #505050;
}
span.green {
   color: #006666; /*green #336600 #006600 #336633 #006633 #006666 */
}
span.carmin {
   color: #a00000;
   font-style: italic;
}
span.arr0::before { /*&#5586; (canadian we)*/
  font-size: 0.80em;
  font-size: 0.75em; /*15px*/
  vertical-align: 0.0em;
/*content: "&nbsp;&#5586;";*/ /*does not work*/
/*content: " ";*/ /*this is an ordinary space*/
/*content: " ";*/ /*this is a &thinsp;*/
/*content: " ";*/ /*this is a &hairsp;*/
  content: "ᗒ"; /*\15d2*/ /*&#5586;*/
  content: " ᗒ"; /*\2009\15d2*/ /*&thinsp;&#5586;*/
  content: " ᗒ"; /*\200A\15d2*/ /*&hairsp;&#5586;*/
  letter-spacing: 1px; /*spacing is added AFTER only*/
  border: 0px solid black; /*scaffold*/
}

/* &lat; looks like a small &#65515;, but pushes the whole line down */

span.arr1::before { /*&#65515;*/
  /*arr1 invisible in Chrome mobile, but raw &#65515; is visible...*/
  font-size: 1.0em;
  font-size: 1.1em;
  vertical-align: -0.1em;
/*content: "&nbsp;&#65515;";*/ /*does not work*/
/*content: " ";*/ /*this is an ordinary space*/
/*content: " ";*/ /*this is a &thinsp;*/
/*content: " ";*/ /*this is a &hairsp;*/
/*content: " ￫";*/ /*&thinsp;&#65515;*/
/*content: " ￫";*/ /*&hairsp;&#65515;*/
  content: "￫"; /*&#65515;*/
  letter-spacing: 1px; /*spacing is added AFTER only*/
/*display: inline-block; height: 30px;*/ /*worse*/
  border: 0px solid black; /*scaffold*/
}
span.arr2::before { /*&rarr;*/
  font-size: 0.75em;
  vertical-align: 0.0em;
/*content: " ";*/ /*this is an ordinary space*/
/*content: " ";*/ /*this is a &thinsp;*/
/*content: " ";*/ /*this is a &hairsp;*/
  content: "→"; /*&rarr;*/
  content: " →"; /*&thinsp;&rarr;*/
  content: " →"; /*&hairsp;&rarr;*/
  letter-spacing: 0.5px; /*spacing is added AFTER only*/
  border: 0px solid black; /*scaffold*/
}

span.arr129046::before { /*&#129046;*/
  /*black square in Firefox mobile*/
  /*invisible in Chrome mobile*/
  font-size: 0.85em;
  vertical-align: 0.0em;
/*content: "&nbsp;&#129046;";*/ /*does not work*/
/*content: " ";*/ /*this is an ordinary space*/
/*content: " ";*/ /*this is a &thinsp;*/
/*content: " ";*/ /*this is a &hairsp;*/
  content: " 🠖"; /*&thinsp;&#129046;*/
  content: " 🠖"; /*&hairsp;&#129046;*/
  content: "🠖"; /*&#129046;*/
  letter-spacing: 0px; /*spacing is added AFTER only*/
  border: 0px solid black; /*scaffold*/
}

span.arr129122::before { /*&#129122;*/
  /*black square in Firefox mobile*/
  /*invisible in Chrome mobile*/
  font-size: 0.70em;
  vertical-align: 0.0em;
/*content: "&nbsp;&#129122;";*/ /*does not work*/
/*content: " ";*/ /*this is an ordinary space*/
/*content: " ";*/ /*this is a &thinsp;*/
/*content: " ";*/ /*this is a &hairsp;*/
  content: " 🡢"; /*&thinsp;&#129122;*/
  content: " 🡢"; /*&hairsp;&#129122;*/
  content: "🡢"; /*&#129122;*/
  letter-spacing: 0px; /*spacing is added AFTER only*/
  border: 0px solid black; /*scaffold*/
}

span.arr10139::before { /*&#10139;*/
  font-size: 0.85em;
  vertical-align: 0.0em;
/*content: "&nbsp;&#10139;";*/ /*does not work*/
/*content: " ";*/ /*this is an ordinary space*/
/*content: " ";*/ /*this is a &thinsp;*/
/*content: " ";*/ /*this is a &hairsp;*/
  content: " ➛"; /*&thinsp;&#10139;*/
  content: " ➛"; /*&hairsp;&#10139;*/
  content: "➛"; /*&#10139;*/
  letter-spacing: 0px; /*spacing is added AFTER only*/
  border: 0px solid black; /*scaffold*/
}

span.invis {
   visibility: hidden;
}
/**** OLD
sub {
  font-size: 0.80em; 16px
  display: inline-block; height: 10px; prevents pushing next line down
  vertical-align: -0.25em; default is ca.-0.4em
  border: 0px solid black; scaffold
}
sup {
  font-size: 0.80em; 0.80 x 20px = 16px
  font-size: 0.75em; 0.75 x 20px = 15px
padding-left: 0.5px; no
display: inline-block; prevents pushing previous line up? no
display: inline; prevents pushing previous line up? no
display: inline-table; prevents pushing previous line up? no
  display: inline; prevents pushing previous line up?
  height: 0px; prevents pushing previous line up
  vertical-align: 0.35em; 0.40em
  border: 0px solid black; scaffold
}
****/

sup, sub {
/* 
https://css-tricks.com/snippets/css/prevent-superscripts-and-subscripts-from-affecting-line-height/
*/
  vertical-align: baseline; /*baseline top super*/
  position: relative;
  top: -0.4em;
  line-height: 0; /*add for sup when font is too big */
  border: 0px solid black; /*scaffold*/
}
sup {
  font-size: 0.75em; /*15px*/
  padding-left: 1px; /*use the global letter-spacing instead?*/
  top: -0.6em; /*CSS tricks*/
}
sub {
  font-size: 0.80em; /*16px*/
  top: 0.3em; /*CSS tricks*/
}

div.gray { /* for footnotes */
   background-color: #ffffff; /* #cccccc */
   padding: 0.5em; 
   border: none;
   color: #707070;
}
p.footnote { /* for footnotes only; deprecated */
   margin-left: 2em;
   text-indent: -2em; 
   margin-top: 1px; 
   margin-bottom: 0px; 
}
blockquote { /* apparently margin-left is 2em */
  margin-top: 1em;
  margin-bottom: 1em;
}
blockquote.example {
  margin-left: 2em;
  margin-top: 1.5em;
  margin-bottom: 1.5em;
}
p.problemdisplay {
  margin-top: 1.5em;
  margin-bottom: 1.5em;
  margin-right: 1.5em;
  margin-left: 1.3em;
  padding: 0.5em 1.2em 0.5em 0.7em;
  background: lightyellow;
  background: #ffffc0;
}

div.exr {
   margin-top: 0em;
   margin-left: 0.5%;
   background-color: #f0f0f8;
   background-color: #e6e6e8;
   color: #404040;
   padding-left: 0.2em;
   padding-right: 0.2em;
   padding-top: 0.05em;
   padding-bottom: 0.05em;
   hyphens: none;
}
div.exr ol {
   margin-left: -0.4em;
}
div.exr li {
  margin-top: 0.5em;
}
div.exr li p {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}
.nw {
  white-space: nowrap;
  hyphens: none;
}
.nohy {
  hyphens: none;
}
small { /* só em v<small>[k]</small>*/
   font-size: 0.85em;
}
big {
   font-size: 1.20em;
}
div.small {
  font-size: 0.85em;
}
div.large {
  font-size: 1.20em;
}
.hide { 
   /* color: #00d000; */
   color: black;
   background-color: #d0ffd0;
}
div.footer {
  hyphens: none;
  margin-top: 3em; 
  margin-bottom: 30em;
  word-spacing: 0px;
  letter-spacing: 0px;
  font-size: 0.85em; /*same as small*/
  line-height: normal; /*this is the default*/
}
div.footer p {
  margin-top: 0em;
  margin-bottom: 0em;
}
div.footer ul {
  margin-top: 0em;
  margin-bottom: 0em;
}
div.footer ul li {
  margin-top: 0em;
  margin-bottom: 0em;
  list-style-type: circle;
}
div.footer p.nw {
  margin-top: 0em;
  margin-bottom: 0em;
  white-space: nowrap;
}
.floatright {
  float: right;
  display: block;
}
.floatleft {
  float: left;
  display: block;
}
img.noborder {
/*vertical-align: baseline;*/
/*vertical-align: bottom;*/
/*vertical-align: middle;*/
  vertical-align: top;
  border: 0px solid black; /*scaffold dashed dotted*/
}