Update positive_lens.html

less space (1287 bytes)