body {
background-color: #333333;
}
pre {
  font-family: Consolas, Menlo, Monaco, Lucida Console, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, serif;
  font-size: small;
  margin-bottom: 5px;
  overflow: auto;
  width: auto;
  padding: 5px;
  background-color: #333333;
  color: #ebdbb2;
  max-height: auto;
 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+ */
}
.ob { unicode-bidi: bidi-override; direction: rtl; }
a { color: #ebdbb2; }