.code-block {
    border-collapse: collapse;
    line-height: 1.1em;
}
.code-head {
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
    padding-right: 4px;
    background-color: #f5f5f5;
    border-width: 0;
    border-right: 1px solid #c0c0c0;
    color: #707070;
    vertical-align: top;
    text-align: right;
    min-width: 3em;
    padding-right: 4px;
}
.code-body {
    white-space: nowrap;
    padding-left: 4px;
    padding-right: 4px;
}
.Special { color: #000000; }
.Comment { color: #008000; }
.Constant { color: #e06000; }
.Statement { color: #0000ff; }
.PreProc { color: #800080; }
.Type { color: #0000c0; }
.Identifier { color: #0080ff; }
.Todo { color: #0000c0; }
.code-crlf {
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}
.code-crlf::after {
    content: "\21b2";
    display: inline-block;
    padding-left: 2px;
    color: #a0a0a0;
}
@media all and (-ms-high-contrast:none) { /* IE hack */
    .code-crlf::after {
        content: ""; /* removed to prevent text selection */
        display: inline;
        padding-left: 0px;
    }
}

/* Add 2017/12/08 */
#example {
    margin-top: 1em;
    font-size: 90%;
    white-space: nowrap;
}
#example td {
    vertical-align: top;
}
#example td.ngh-l {
    padding-left: 8px;
}
#example td.ngh-r {
    padding-right: 8px;
}
#example td.ngh-t {
    padding-top: 2px;
}
#example td.ngh-b {
    padding-bottom: 2px;
}
#example_prog {
    width: 300px;
    margin-bottom: 4px;
}
#example_title {
    width: 630px;
    padding: 4px 0px;
    margin-top: 8px;
    border: 1px solid #888;
    background-color: #888;
    color: #fff;
}
#example_name {
    padding: 0px 4px;
}
#example_download {
    padding: 0px 4px;
}
#example_download:link,
#example_download:visited {
    color: #fff;
}
#example_download:link:hover,
#example_download:visited:hover {
    color: #fff;
}
#example_source {
    overflow: auto;
    width: 630px;
    height: 800px;
    border: 1px solid #888;
    font-size: 95%;
}