fix some css issues somehow introduced into garland theme