westliche Seitenleiste bis auf weiteres ausgeblendet

ulrich

2017-02-22 65351902181b629d00f381d20b207ea6330561fd

 web/ui/stile.css

@@ -1,4 +1,23 @@

/* Stile Code-Editor */

.code-editor-container {
  height: 100%;
}

.codeeditor {
  height: 100%;
}

.codeeditor-space {
  width: 100%;
  height: 100%;
  border: 1px solid lightgrey;
}

.CodeMirror {
  height: 100%;
}


/* Stile Listenansicht */
@@ -31,7 +50,11 @@
.west {
  flex-grow: 0;
  flex-shrink: 0;
  flex-basis: 10em;  
  /*
    voruebergehend ausgeblendet, zum einblenden 
    diesen Wert wieder auf 10em setzen
  */
  flex-basis: 0.1em;
}
.ost {
  flex-grow: 0;
@@ -44,6 +67,7 @@
  height: 100%;
  display: flex;
  flex-flow: column;
  /* background-color: antiquewhite; */
}
.zentrum-bc {
}
@@ -55,4 +79,13 @@
}
.datei-figure {
  width: 6em;
  cursor: pointer;
}

.datei-gewaehlt {
  color: darkslateblue;
}

#ansicht {
  cursor: pointer;
}