Update base.css: add rules for fixme and note; change code font-size; change code bkg color under dfn