.regex-output,
.regex-input {
    width: 100%;
    max-width: 100%;
    min-height: 5em;
    font-family: Menlo,Monaco,Consolas,"Courier New",monospace;
}
.regex-output {
    max-height: 15em;
}

.pre-scrollable-x {
    overflow: auto;
    word-wrap: normal;
    white-space: pre;
}

.regex-result {
    line-height: 1.8;
}

mark {
    outline: 1px solid #660;
}
mark mark {
    background: #d9edf7;
    padding: 0;
    margin: 0;
}

.hiddenchar::before {
    color: #999;
    width: 0;
    display: inline-block;
    line-height: 1;
}

mark .hiddenchar::before {
    color: #990;
}

.hiddenchar.space::before {
    content: '\B7';
}
.hiddenchar.tab::before {
    text-align: center;
    content: '\21E5';
}
.hiddenchar.newline::before {
    width: auto;
    content: '\23CE';
}

.error {
    color: red;
    font-weight: bold;
}

.menu-item-selected {
    font-weight: bold;
    background-color: #fcf8e3;
}

/* http://www.bootply.com/Z9DZnmTSjO */
.caret-container {
  float: right;
}
.nav-container {
  background-color: #f5f5f5;
  text-transform: uppercase;
  font-weight: bold;
}
.nav-sub-container {
  background-color: #f8f8f8;  
  font-weight: bold;
  cursor: pointer;
}
ul.nav-stacked ul.nav-stacked > li > a {
  padding-left: 30px;
}

[data-toggle="collapse"],
[data-toggle="modal"] {
  cursor: pointer;
}

.dl-horizontal dt {
    width: 6em;
}
.dl-horizontal dd {
  margin-left: 6.5em;
}

.panel-invisible {
    margin: 0;
    padding: 0;
    border: none;
    box-shadow: none;
    -o-box-shadow: none;
    -ms-box-shadow: none;
    -moz-box-shadow: none;
    -webkit-box-shadow: none;
}

.top-buffer {
    margin-top: 2em;
}

/* Sticky footer styles
-------------------------------------------------- */
html {
    position: relative;
    min-height: 100%;
}
body {
    /* Margin bottom by footer height */
    margin-bottom: 60px;
}
.footer {
    position: absolute;
    bottom: 0;
    width: 100%;
    /* Set the fixed height of the footer here */
    height: 60px;
    background-color: #f5f5f5;
}
.footer > .container {
    padding-top: 1em;
}