Rotation tools including rotated full-page floats
