/* Main style for the table */
.dp-highlighter {
font-family: "Courier New" , Courier, mono;
font-size: 12px;
border: 1px solid #2266AA;
background-color: #fff;
width: 546px;
overflow: auto;
margin: 18px 0px 18px 0px;
}

.dp-highlighter .bar {
padding-left: 45px;
}

.dp-highlighter.collapsed .bar, .dp-highlighter.nogutter .bar {
padding-left: 0px;
}

.dp-highlighter ol {
margin: 0px 0px 1px 45px; /* 1px bottom margin seems to fix occasional Firefox scrolling */
padding: 0px;
color: #2266AA;
}

.dp-highlighter.nogutter ol {
list-style-type: none;
margin-left: 0px;
}

.dp-highlighter ol li, .dp-highlighter .columns div {
border-left: 1px solid #2266AA;
background-color: #fff;
padding-left: 10px;
line-height: 14px;
}

.dp-highlighter.nogutter ol li, .dp-highlighter.nogutter .columns div {
border: 0;
}

.dp-highlighter .columns {
color: gray;
overflow: hidden;
width: 100%;
}

.dp-highlighter .columns div {
padding-bottom: 5px;
}

.dp-highlighter ol li.alt {
background-color: #f8f8f8;
}

.dp-highlighter ol li span {
color: Black;
}

/* Adjust some properties when collapsed */
.dp-highlighter.collapsed ol {
margin: 0px;
}

.dp-highlighter.collapsed ol li {
display: none;
}

/* Additional modifications when in print-view */
.dp-highlighter.printing {
border: none;
}

.dp-highlighter.printing .tools {
display: none !important;
}

.dp-highlighter.printing li {
display: list-item !important;
}

/* Styles for the tools */
.dp-highlighter .tools {
padding: 8px 8px 8px 10px;
border-bottom: 1px solid #2266AA;
font: 12px Tahoma,Arial,sans-serif;
color: silver;
}

.dp-highlighter.collapsed .tools {
border-bottom: 0;
}

.dp-highlighter .tools a {
font-size: 12px;
color: #0000FF;
text-decoration: underline;
margin-right: 10px;
font-weight: bold;
}

.dp-highlighter .tools a:hover {
color: red;
}

/* Language specific styles */
.dp-highlighter .comment .dp-highlighter .comments { color: #e00; }
.dp-highlighter .string { color: red; }
.dp-highlighter .preprocessor { color: #CD00CD; font-weight: bold; }
.dp-highlighter .keyword { color: #5697D9; font-weight: bold; }
.dp-highlighter .datatypes { color: #2E8B57; font-weight: bold; }