/* obsolete, merged into styles.css */