div.csrc pre {
    /*font-family: "Monaco", "Menlo", monospace;*/
    border: 1px dotted #808080;
    width: -webkit-fit-content;
    width: -moz-fit-content;
    width: fit-content;
    padding: 1em 3em;
}

div.csrc:before {
    content: "Source Code:";
    font-size: smaller;
    font-style: oblique;
}