Note that we inject the CSS via JavaScript instead of using css_dependencies because we do not wan the CSS to load when JavaScript is disabled (since in that case the checkboxes should be visible).
resolves #649