This repository has been archived on 2023-02-21. You can view files and clone it, but cannot push or open issues or pull requests.
|
.error { width: auto; color: red; border: 1px solid red; padding: 2px; }
|
|
pre,.code { background: #BBB; border: 1px solid black; padding: 1ex;white-space: pre; overflow: scroll }
|