body { color: black; background: white; }
h1 { text-align: center; color:#000000; }
h2, h3, h4, h5, h6 { text-align: left; margin-top: 2em; }
h2, h3 { color: #000000; background: transparent }

pre.spec { margin-left: 2em }
pre.example { margin-left: 4em }
pre.desc { margin-left: 0em; margin-top: 2em; background: #e8e8e8; }