body {
  background: #ededed;
  padding-top: 30px;
}
.window {
  width: 640px;
  box-shadow: 0px 10px 8px #888888;
  margin: 0 auto;
}
.window-header, .window-bottom {
  background-color: #ccc;
}
.window-header {
  border-radius: 6px 6px 0 0;
  height: 32px;
}
.window-bottom {
}
.window-content {
  border-left: solid 3px #ccc;
  border-right: solid 3px #ccc;
  border-bottom: solid 2px #ccc;
}
.terminal {
  padding: 15px;
  background-color: #222;
  color: #ddd;
  font-size: 16px;
  /*height: 370px;*/
}
.terminal pre {
  padding: 0;
  margin: 0;
}
.terminal pre a {
  color: #729fcf;
}