@ -73,8 +73,8 @@
.highlight .n { color: #000; } /* General name */
div.highlight {
padding: 0px 5px;
padding: 0px 12px;
width: 85%;
margin: auto;
overflow-wrap: anywhere;
overflow-x: scroll;
}