body { font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
       padding: 1em; }

code { color: darkblue; }

pre.lisp  { color: blue;
            background: #eeeeee;
            padding: 1em; }

td.settingkey { background: #eeeeee }
td.settingdesc { background: #eeeedd }

.settingdesc code { background: #ddddff;
                    color: darkblue }