added patch to fix webkit's dpi