python indent settings, windows specific font