SessionManager angepasst

ulrich

2017-02-21 3ad4db4a15b4ba59c65e2af797967941f2cb2ba2

 web/ui/stile.css

@@ -76,3 +76,7 @@
.datei-figure {
  width: 6em;
}

.datei-gewaehlt {
  color: darkslateblue;
}