Dateiverwaltung für die WebBox
ulrich
2017-02-20 5dfab6ee05a6926a84c068ee0ebcabab1480c9c5
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
 
/* 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 */
 
html {
  margin: 0;
  padding: 0;
  height: 100%; /* Anmerkung 2 */
}
body {
  margin: 0;
  padding: 0;
  height: 100%; /* Anmerkung 2 */
  min-height: 0; /* Anmerkung 1 */
  display: flex;
  flex-flow: column;
}
.inhalt {
  display: flex;
  flex-flow: row;
  height: 100%; /* Anmerkung 2 */
  min-height: 0; /* Anmerkung 1 */
}
.nord {
 
}
.sued {
  background-color: lightgray;
}
.west {
  flex-grow: 0;
  flex-shrink: 0;
  flex-basis: 10em;  
}
.ost {
  flex-grow: 0;
  flex-shrink: 0;
  flex-basis: 10em;
  background-color: antiquewhite;
}
.zentrum {
  width: 100%;
  height: 100%;
  display: flex;
  flex-flow: column;
  /* background-color: antiquewhite; */
}
.zentrum-bc {
}
.zentrum-liste {
  width: 100%;
  height: 100%;
  overflow: auto;
  -webkit-overflow-scrolling: touch;
}
.datei-figure {
  width: 6em;
}
 
.datei-gewaehlt {
  color: gold;
}