Update input_types.html