doc theme : overflow=auto for <pre>