Initialiser wieder zurueckgestellt auf JNDI

ulrich

2020-06-25 17727f11c12bd7176af946bb440d509cb558ac22

 web/ui2/stile.css

@@ -96,6 +96,12 @@
  cursor: pointer;
}

.breadcrumb {
  background-color: beige;
  padding: 0.2em;
  font-size: medium;
}

.dialog {
  position: relative;
  /* height: 0.1em; */