body { color: white; background: black; margin-left: 12%; margin-right: 10%; }
  pre { font-family: monospace; }

  .floatleft {
    float: left;
    margin: 5px;
  }

  .floatright {
    float: right;
    margin: 5px;
  }