/* GRAFOS/algoritmos_em_grafos/style-mobile.css */
HTML {
  font-size: 17px;
  font-size: 16px; /*Google Search complains "clickable elements too close together"*/
}
body { 
  margin-left: 2.5%;
  margin-right: 2%;
  hyphens: auto;
  font-size: 1.0em;
  word-spacing: 1px;
}
blockquote { 
  margin-left: 1em;
  margin-right: 0em;
}
blockquote.example {
  margin-left: 0.7em;
  margin-top: 1.5em;
  margin-bottom: 1.5em;
}
.ind {
  margin-left: 1em;
}
table.special {
  margin: 1.0em 0em 1em 0.5em;
}
ul {
  margin-left: -1em;
}
ul.graph-examples {
  margin-left: -1em;
}
ul.graph-examples li {
  margin-top: 0.3em;
}
ul.remissivo li {
  margin-top: 0.0em;
}
div.pseudocode {
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: 1em;
  font-size: 1.0em; /*no!*/
  font-size: 0.95em; /*16.15px*/
}
div.hlt { /*to be used in poseudocode context*/
   margin-left: 0.7em;
   padding: 0.3em;
   background-color: #ffffc0;
}
div.in-exr { /*to be used in pseudocode context*/
  margin-top: 0.95em;
  font-size: 0.85em; /*14.45px*/
  font-size: 0.8125em; /*13.8125px*/
  font-size: 0.90em; /*15.3px*/
  font-size: 0.875em; /*14.875px*/
}
span.mod { /* name of a SGB module */
  font-size: 0.85rem; /*14.45px*/
}
p.problemdisplay {
  margin-top: 1.5em;
  margin-bottom: 1.5em;
  margin-right: 1em;
  margin-left: 0.5em;
  padding: 0.3em 1em 0.3em 0.5em;
}
span.arr0 {  /*ᗒ*/
  font-size: 0.8125em; /*13.8125px*/
  font-size: 0.875em;  /*14.875px*/
  font-size: 0.9375em; /*15.9375px*/
  font-size: 1em;  /*17px*/
  font-size: 0.9411em;  /*16px*/
  content: " ᗒ"; /* ᗒ*/
  letter-spacing: 1px;
  vertical-align: 0em;
}
span.arr1::before { /*￫*/
  font-size: 1.0em;
  font-size: 1.1em;
  vertical-align: -0.1em;
  letter-spacing: 2px; /*spacing is added AFTER only*/
}
span.arr2::before { /*→*/
  font-size: 1.0em;
  vertical-align: -0.1em;
  letter-spacing: 1px; /*spacing is added AFTER only*/
}
kbd {
  font-size: 0.85em; /*14.45px*/
}
pre {
  font-size: 0.85em; /*14.45px*/
}
div.exr {
   hyphens: auto;
   margin-left: 0.0%;
   padding-left: 0.0em;
}
div.exr ol {
   hyphens: auto;
   margin-left: -0.7em;
}
div.footer {
  margin-bottom: 40em;
}