Packen von Ordnern hergestellt

ulrich

2018-04-03 af99308ac8192fd47be8f6ec030f973a0bf23072

 web/ui/stile.css

@@ -37,6 +37,16 @@
  height: 100%;
}

/* Stile MCE-Editor */

.mce-editor {
  width: 100%;
  height: 100%;  
}
.text-editor {
  width: 100%;
  height: 100%;
}

/* Stile Listenansicht */

@@ -63,7 +73,11 @@

}
.sued {
  background-color: lightgray;
  background-color: #eee;
}
.system-out {
  height: 8em;
  overflow-y: auto;
}
.west {
  flex-grow: 0;
@@ -97,12 +111,20 @@
  -webkit-overflow-scrolling: touch;
}
.datei-figure {
  width: 6em;
  width: 8em;
  cursor: pointer;
}

.datei-gewaehlt {
  color: darkslateblue;
  background-color: lightblue;
}

.ordner {
  color: navajowhite;
}

.datei {
  color: lightgray;
}

#ansicht {