/* ALGORITMOS/2002-0122/aulas/style-mobile.css */
/* see analise_de_algoritmos/characters.html for fonts*/
/* aulas/style.css already loaded!*/
HTML {
  font-family: serif; /*yes*/
/*font-size: 17px;*/
  font-size: 15px;
}
body { 
  margin-left: 2.5%;
  margin-right: 2%;
}
p.menu1 {
  font-size: 12px;
}
p.menu2 {
  font-size: 12px;
}
.small {
  font-size: 13px;
}
div.small {
  font-size: 13px;
}
div.verysmall {
  font-size: 11px;
}
tt, pre { 
  font-family: "Courier New", monospace, monospace;
/*ends up being monospace*/
}
tt { 
  font-size: 0.9333em; /*14px*/
  font-size: 0.8666em; /*13px*/
}
pre {
  font-size: 14px;
  font-size: 0.8em; /*12px*/
}
tt.big {
  font-size: 1.1333em; /*17px*/
}
pre.small {
  font-size: 13px;
  font-size: 0.8em; /*12px*/
}
pre.big {
  font-size: 1.0em; /*15px*/
}
blockquote { 
  margin-left: 1em;
}
blockquote.extra { 
  margin-left: 2em;
}
sup {
  font-size: 12px;
}
sub {
  font-size: 12px;
}
p.indent {
  margin-left: 1em;
}
pre.notop { 
  margin: 0em 0em 0em 1.3em;
}
pre.code { 
  margin: 1.5em 0em 1.5em 1.3em;
}
pre.codehlt {
  margin: 1.5em 0em 1.5em 0.8em;
  padding: 0.5em 0em 0.5em 0.5em;
}
pre.extratop { /*needed*/
  margin-top: 2em;
}
ul {
  margin-left: -0.5em;
}
ol {
  margin-left: -0.5em;
}
div.sedg {
  font-size: 14px;
  margin-left: 1.5em;
  margin-right: 0em;
}