This element encloses the tiny label that identifies each
block of literate code, hovering just above the top right
corner of the pre.executable containing the
code.
div.codeblocklabel
{ text-align: right;
font-size: xx-small;
font-family: monospace;
}