html {
  box-sizing: border-box;
}
*,
*:before,
*:after {
  box-sizing: inherit;
}
html,
body,
#container {
  height: 100%;
  margin: 0;
  overflow: hidden;
}
#container {
  display: flex;
  flex-direction: column;
}
#container > header,
#container > footer,
#container > .eventlog {
  flex: 0 0 auto;
}
#main {
  flex: 1 1 auto;
  overflow: auto;
}
header {
  background-color: white;
}
header .title-bar {
  line-height: 25px;
  text-align: center;
}
header nav {
  border-bottom: solid #a6a6a6 1px;
}
header nav a {
  display: inline-block;
  padding: 3px 14px;
  margin: 0 2px -1px;
  border: solid transparent 1px;
}
header nav a.active {
  border-color: #a6a6a6;
  border-bottom-color: white;
}
header nav a:hover {
  /*
                @preview: lightgrey;
                border-top-color: @preview;
                border-left-color: @preview;
                border-right-color: @preview;
                */
  text-decoration: none;
}
header nav a.special {
  color: white;
  background-color: #396cad;
  border-bottom-color: #396cad;
}
header nav a.special:hover {
  background-color: #5386c6;
}
header .menu {
  padding: 10px;
  border-bottom: solid #a6a6a6 1px;
}
.eventlog {
  flex: 0 0 auto;
}
.eventlog pre {
  margin: 0;
  border-radius: 0;
  height: 200px;
  overflow: auto;
}
.eventlog .close-button {
  float: right;
  margin: -9px;
  padding: 4px;
  cursor: pointer;
  color: grey;
}
.eventlog .close-button:hover {
  color: black;
}
footer {
  box-shadow: 0 -1px 3px #d3d3d3;
  padding: 0px 10px 3px;
}

/*# sourceMappingURL=../css/app.css.map */