Sophie
pre.lua { margin-left: 1.5em; } div.nyi, div.obsolete, dt.obsolete, dd.obsolete { color: #000000; background: #fafafa; }