/* content copied into main.css */