body {
  margin: 0;
  padding: 0;
  overflow: hidden;
  height: 100%;
  max-height: 100%;
  font-family: Sans-serif;
  line-height: 1.5em;
}

#header {
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: 100px;
  overflow: hidden;
  /* Disables scrollbars on the header frame. To enable scrollbars, change "hidden" to "scroll" */
  background: #AACFFF;
}

#nav {
  position: absolute;
  top: 100px;
  left: 0;
  bottom: 0;
  width: 230px;
  overflow: auto;
  /* Scrollbars will appear on this frame only when there's enough content to require scrolling. To disable scrollbars, change to "hidden", or use "scroll" to enable permanent scrollbars */
  background: #E1EEFF;
}

#logo {
  padding: 10px;
}

main {
  position: fixed;
  top: 100px;
  /* Set this to the height of the header */
  left: 230px;
  right: 0;
  bottom: 0;
  overflow: auto;
  background: #fff;
}

.innertube {
  margin: 15px;
  /* Provides padding for the content */
}

p {
  color: #555;
}

nav ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
}

nav ul a {
  color: #559FFD;
  text-decoration: none;
}

/*IE6 fix*/
* html body {
  padding: 100px 0 0 230px;
  /* Set the first value to the height of the header and last value to the width of the nav */
}

* html main {
  height: 100%;
  width: 100%;
}

.boxed {
  padding-top: 50px;
  display: flex;
  flex-wrap: wrap;
}

.boxed > * {
  flex-basis: auto;
  width: 50%;
  box-sizing: border-box;
  /*border:1px solid black;     */
}

.terminal {
  background-color: black;
  color: white;
  max-height: 300px;
}

.terminal > *, .test-code {
  white-space: pre-wrap;
  /* css-3 */
  white-space: -moz-pre-wrap;
  /* Mozilla, since 1999 */
  white-space: -pre-wrap;
  /* Opera 4-6 */
  white-space: -o-pre-wrap;
  /* Opera 7 */
  word-wrap: break-word;
  /* Internet Explorer 5.5+ */
  height: 300px;
  overflow-y: auto;
}

.log-name {
  text-align: right;
}

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