html
{
font-size: 100%;
}

pre
{
font-size: 1.4em;
font-family: "DejaVu Sans Mono";
border: 1px solid black;
}

code
{
display: block;
width: 79ex;
overflow: hidden;
font-family: "DejaVu Sans Mono";
font-size: 1ex;
border: 1px dashed red;
}