Derby Port umgestellt auf 1528

ulrich

2021-01-02 be64041ea4cf251d20121a375d95420d7e5296e6

 web/stile.css

@@ -4,6 +4,7 @@
  height: 100%; /* Anmerkung 2 */
  font-size: larger;
  font-family: 'Roboto Condensed';
   -webkit-text-size-adjust: none;
}

.form-signin {
@@ -16,6 +17,7 @@

.form-signin input {
  margin: 0.5em 0 0.5em 0;
  font-size: large;
}

.form-signin button {
@@ -30,7 +32,7 @@

@font-face {
  font-family: 'Roboto Condensed';
  src: url('/lib/fonts/Roboto_Condensed/RobotoCondensed-Regular.ttf') format('truetype');
  src: url('/fonts/Roboto_Condensed/RobotoCondensed-Regular.ttf') format('truetype');
  font-weight: normal;
  font-style: normal;
}