This is an old revision of the document!

* { } pre { white-space: pre-wrap; } .ace-line span { border-radius: 20px; padding: 1px 0px; font-size: 12px; }