/** Reset some basic elements **/
body, h1, h2, h3, h4, h5, h6,
p, blockquote, pre, hr, dl, dd, ol, ul, figure, header {
  margin: 0em; }

@font-face {
  font-family: Arial, Helvetica, sans-serif;
}

body {
  height: 98%;
  position: relative;
  background-color: #000000;
  color: #fff;
  font-family: Arial, Helvetica, sans-serif;
  margin: 0px auto;
  padding: 0px;
  font-size: 14px;
  margin-left: 0px; }

th, td {
  padding: 20px;
  text-align:left;
  vertical-align:top;
}

a:active, a:link, a:visited {
  color: #5b7fa6;
  text-decoration: none;
  font-weight: bold;
  font-size: 14px; }

a:hover {
  background-color: #5b7fa6;
  color: #fff; }

header, h4 {
  display: inline; }

article {
  margin: 0 auto; }

footer {
  position: absolute;
  height: 30px; }

.executable {
  display:inline;
  text-decoration: none;
  font-weight: bold;
  font-size: 14px;
  color: #6eb529; }

.menue {
  display:inline;
  left;padding-right: 5px; }

.wrapper {
  width: 80%;
  min-height: calc(76vh - 50px);
  padding: 30px 5%; }

.stdout {
  margin: 0px auto;
  padding: 0px 20px; }

.ls {
  color: #c37ed9;
  margin: 0px auto;
  padding: 20px 20px; }

.cat {
  color: #fff;
  margin-top: 10px;
  padding: 10px;
  text-align: left; }

.highlight {
  color: #ffaaaa;
  padding: .5em 1em;
  margin: .5em;
  background-color: #121212;
  overflow: auto; }

.inline {
  display: inline;
  text-align: right; }