Small changes in theme (hi-linum mode)