/* ALGORITMOS/algorithms/chapters/footnotes/footnotes-print.css */
HTML {
  font-size: 12px;
}
body { 
  color: #000020;
  margin-left: 4.0%; /*was 3.5%*/
  margin-right: 4.0%; /*was 2.5%*/
}