/* Deprecated: styles merged into styles1.css + styles2.css. Kept empty for old bookmarks. */