#debug-monitor { width: 10em;position: fixed; right: 1em; top: 1em; border: 1px solid #999; background: white; padding: 0 2em 1em; }

/* Table */
table { background-color: #f3f3f3; }
table th { border: 2px solid #999; border-color: #ccc #ccc #999 #999; padding: .2em .5em; }
table td { padding: .2em; }

tr.highlight td { background: yellow; }

/* */
pre {}
pre.code { border: 1px solid black; width: 40em; height: 10em; overflow: scroll; padding: .3em; background: #eef;  }