$ diff doc/guide-style.css doc/basics-style.css 
20c20,23
< pre { margin-left: 2em; }
---
> pre { margin: 0.5em 2em 0.25em 1.5em; }
> dd { padding: 0.25em 0em 1.5em 0em; margin-left: 1.5em; }
> #Equals + dd pre { margin: 1em; margin-bottom: 1.5em; }
> dl.operators strong { font-size: 1.2em; }