Зеленка на линолеуме

Бабушка разлила зеленку на линолеум. Отмывали теплой водой с мылом - не очень помогло. Кто знает, что делать? Чем вообще можно чистить линолеум?