css tweaks in theme.less

- issue #7