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