/* ANALISEdeALGS/2020-0338/style-print.css */
body { 
  margin-left: 1%;
  margin-right: 0%;
  font-size: 90%;
}
tt { 
  font-size: 0.98em;
}
pre { 
  font-size: 0.98em;
}
pre.small {
  font-size: 0.92em;
}
pre.names-marks {
  font-size: 0.80em;
}