fix padding in notation tab