Web-specific styles, a few additions/typo fixes