/* GRAFOS/2017-0325/style-print.css */
body { 
  margin-left: 1%;
  margin-right: 0%;
  font-size: 87%;
}
tt { 
  font-size: 0.98em;
}
pre { 
  font-size: 0.98em;
}
pre.small {
  font-size: 0.92em;
}
pre.names-marks {
  font-size: 0.80em;
}