a135a02b5d
The hand-edited live theme stylesheet uses // for line comments in
several places — valid in SCSS, invalid in CSS. Browsers recover but the
recovery can drop the surrounding declaration depending on context. The
body{} block at the top of the file in particular had `font-size: 14px;
//13px;` which on some browsers kills the whole rule, falling back to
Bootstrap's body defaults (Helvetica, line-height 1.428). Convert the
seven // line comments to /* */ so parsing is unambiguous.