pre {
  border: 3px solid #ececec;
  white-space: pre-wrap;
  word-wrap: break-word;
}

.content {
  margin: 0;
  max-width: 100%;
}

.expander-content {
  height: auto !important;
}
.expander button {
  display: none;
}

.chroma { background-color: #ffffff }
.chroma .err { color: #a61717; background-color: #e3d2d2 }
.chroma .lntd { vertical-align: top; padding: 0; margin: 0; border: 0; }
.chroma .lntable { border-spacing: 0; padding: 0; margin: 0; border: 0; width: auto; overflow: auto; display: block; }
.chroma .hl { display: block; width: 100%;background-color: #ffffcc }
.chroma .lnt { margin-right: 0.4em; padding: 0 0.4em 0 0.4em; }
.chroma .ln { margin-right: 0.4em; padding: 0 0.4em 0 0.4em; }
.chroma .k { color: #000080; font-weight: bold }
.chroma .kc { color: #000080; font-weight: bold }
.chroma .kd { color: #000080; font-weight: bold }
.chroma .kn { color: #000080; font-weight: bold }
.chroma .kp { color: #000080; font-weight: bold }
.chroma .kr { color: #000080; font-weight: bold }
.chroma .kt { color: #000080; font-weight: bold }
.chroma .na { color: #ff0000 }
.chroma .nt { color: #000080; font-weight: bold }
.chroma .s { color: #0000ff }
.chroma .sa { color: #0000ff }
.chroma .sb { color: #0000ff }
.chroma .sc { color: #800080 }
.chroma .dl { color: #0000ff }
.chroma .sd { color: #0000ff }
.chroma .s2 { color: #0000ff }
.chroma .se { color: #0000ff }
.chroma .sh { color: #0000ff }
.chroma .si { color: #0000ff }
.chroma .sx { color: #0000ff }
.chroma .sr { color: #0000ff }
.chroma .s1 { color: #0000ff }
.chroma .ss { color: #0000ff }
.chroma .m { color: #0000ff }
.chroma .mb { color: #0000ff }
.chroma .mf { color: #0000ff }
.chroma .mh { color: #0000ff }
.chroma .mi { color: #0000ff }
.chroma .il { color: #0000ff }
.chroma .mo { color: #0000ff }
.chroma .ow { font-weight: bold }
.chroma .c { color: #008800; font-style: italic }
.chroma .ch { color: #008800; font-style: italic }
.chroma .cm { color: #008800; font-style: italic }
.chroma .c1 { color: #008800; font-style: italic }
.chroma .cs { color: #008800; font-weight: bold }
.chroma .cp { color: #008080 }
.chroma .cpf { color: #008080 }
.chroma .gd { color: #000000; background-color: #ffdddd }
.chroma .ge { font-style: italic }
.chroma .gr { color: #aa0000 }
.chroma .gh { color: #999999 }
.chroma .gi { color: #000000; background-color: #ddffdd }
.chroma .go { color: #888888 }
.chroma .gp { color: #555555 }
.chroma .gs { font-weight: bold }
.chroma .gu { color: #aaaaaa }
.chroma .gt { color: #aa0000 }
.chroma .w { color: #bbbbbb }