/* for line numbering */
.code-frame .highlight pre {
    position: relative;
    padding: 0;
    overflow: hidden;
}

.code-frame .highlight pre code {
    display: block;
    overflow-y: auto;
    padding: 0.5em 0 0.5em 3.5em;
}

.pre-numbering {
    position: absolute;
    top: 0;
    left: 0;
    width: 2.3em;
    margin: 0;
    padding: 0.5em 0.2em 0.5em 0;
    border-right: 1px solid #C3CCD0;
    border-radius: 3px 0 0 3px;
    background-color: #EEE;
}

.pre-numbering li {
    list-style-type: none;
    text-align: right;
    line-height: 1.44em;
    font-size: 0.9em;
    font-family: Menlo, monospace;
    color: #AAA;
}

#ruler {
  visibility: hidden;
  position: absolute;
  white-space: nowrap;
}