Auf Nutzung mit Docker umgestellt

ulrich

2018-02-17 fe50f98aae09eaf8c360857f9fc8a024409469d9

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