* {
  margin: 0;
  padding: 0;
}

body {
  font-family: Lucida Grande;
  font-size: 12px;
}

#root-view {
  height: 100%;
  height: 100%;
  overflow-y: auto;
  position: relative;
  background-image: url(static/images/linen.png);
}

.vertical {
  display: -webkit-flexbox;
  -webkit-flex-flow: column;
  overflow-y: visible;
  height: 100%;
  position: relative;
}

.horizontal {
  display: -webkit-flexbox;
  -webkit-flex-flow: row;
  overflow-x: visible;
  position: relative;
}

.horizontal > div {
  width: -webkit-flex(1);
  height: auto;
}

.vertical > div {
  height: -webkit-flex(1);
}

.horizontal > * + * {
  border-left: 5px solid #515151;
}

.vertical > * + * {
  border-top: 5px solid #515151;
}

* {
  margin: 0;
  padding: 0;
}

body {
  font-family: Lucida Grande;
  font-size: 12px;
}

#root-view {
  height: 100%;
  height: 100%;
  overflow-y: auto;
  position: relative;
  background-image: url(static/images/linen.png);
}

.vertical {
  display: -webkit-flexbox;
  -webkit-flex-flow: column;
  overflow-y: visible;
  height: 100%;
  position: relative;
}

.horizontal {
  display: -webkit-flexbox;
  -webkit-flex-flow: row;
  overflow-x: visible;
  position: relative;
}

/* hack workaround that shouldn't be needed when flexbox works right */
.horizontal > .vertical {
  height: 100%;
}

.horizontal > div {
  width: -webkit-flex(1);
  height: auto;
}

.vertical > div {
  height: -webkit-flex(1);
}

.horizontal > * + * {
  border-left: 5px solid #515151;
}

.vertical > * + * {
  border-top: 5px solid #515151;
}

Fix horizontal split inside top-level vertical split.
Fix horizontal split inside top-level vertical split.