div.listing {
    margin: 0px;
    margin-top: 10px;
    margin-bottom: 15px;
    padding: 0px;
    position: relative;
}

/* Match tab box button height */
.listing .copyButton {
    position: absolute; 
    right: 0px;
    top: -22px;
    padding-left: 12px;
    padding-right: 12px;
    height: 16px;
    border: 1.985px solid #3698f9;
    display: inline-block;
    padding-top: 4px;
    vertical-align: middle;
    line-height: 120%;
}

/* .copyButton.zeroclipboard-is-hover { background-color:#eee; } */
.copyButton.zeroclipboard-is-active { 
    font-weight: 600;
    background-image: linear-gradient(#a7d0f9, white) !important;
    padding-left: 11.5px;
    padding-right: 11.5px;
}

.listing ol {
  border: 1px solid #f6fbfe;
  list-style-type: none;
  margin: 0px;
  padding: 0px;
  font-size: 100%;
  line-height: 1.2em;
}

.listing ol.fixed {
  font-family:  "Consolas", "Fixed", monospace, sans-serif;
  font-size: 90%;
}

.listing ol.fixed .comment {
    /* Restore the normal font size (1/.90) */
    font-size: 111%;
}

.listing ol.proportional {
  font-family: "Times New Roman", "serif";
}

.listing > ol li {
    padding: 0px;
}

.listing .keyword {
    color: #3a3acf;
}

.listing .string {
    color: #932020;
}

.listing .type {
    color: #27829d;
}

.listing .number {
    color: #916000;
}

/* Individual lines in a listing */
.listing li {
   white-space: pre-wrap;
   font-family: inherit;
   font-size: inherit;
}

.listing li table {
  border-collapse: collapse;
}

/* Line numbers in a listing*/
.listing .lineNumber {
   display: inline-block;
   font-family: Arial, Helvetica, sans-serif;
   font-size: 70%;
   color: #777;
   margin-right: 1.5em;
   padding-right: 0.3em;
   text-align: right;
   vertical-align: baseline;
   width: 2em;
}

.listing > table > tr {
    vertical-align: baseline;
}

/* Comment */
.listing .comment {
   color: #0A4;
   font-style: italic;

   /* Force normal text */
   font-family: "Times New Roman", "Times", "serif";
}

.dliEdition .listing .comment {
    color: #76b900;
}

.listing li.coloredLine {
    background: #f6fbfe;
}