SessionManager angepasst

ulrich

2017-02-21 3ad4db4a15b4ba59c65e2af797967941f2cb2ba2

 web/ui/stile.css

@@ -78,5 +78,5 @@
}

.datei-gewaehlt {
  color: gold;
  color: darkslateblue;
}