Initialiser wieder zurueckgestellt auf JNDI

ulrich

2020-06-25 17727f11c12bd7176af946bb440d509cb558ac22

1
2
3
4
5
6
7
8
 
html, body { 
  height: 100%; 
} 
 
#inhalt { 
  background-color: lightgrey; 
}