ulrich
6 hours ago ff2ac2a7dddba488efa1bcad8701fe4da366cc44
web/stile.css
@@ -87,7 +87,7 @@
  padding-top: 0.5em;
}
#cmd {
.cmd {
  font-family: 'Ubuntu Mono', monospace;  
  font-size: medium;
}