ulrich
6 hours ago b7d3c32dca2444b105e921489e4a5d53ba457c0e
web/stile.css
@@ -62,6 +62,11 @@
  padding-left: 0.5em;
}
#sender {
  overflow: hidden;
  max-width: 9em;
}
.datumauswahl-behaelter {
  padding-bottom: 0.5em;
}
@@ -82,7 +87,7 @@
  padding-top: 0.5em;
}
#cmd {
.cmd {
  font-family: 'Ubuntu Mono', monospace;  
  font-size: medium;
}