Improve scaling of pixel art in the ui
Some improvements over nearest neighbor scaling:
https://colececil.io/blog/2017/scaling-pixel-art-without-destroying-it/
http://themaister.net/blog/2018/08/25/pseudo-bandlimited-pixel-art-filtering-in-3d-a-mathematical-derivation/
https://www.shadertoy.com/view/ltBGWc
https://www.shadertoy.com/view/MlB3D3
Sourced from: https://discordapp.com/channels/273534239310479360/335502453371961344/626477915240005652
edit: https://www.youtube.com/watch?v=Yu8k7a1hQuU&start=2942
edit2: Very nice explanation: https://csantosbh.wordpress.com/2014/01/25/manual-texture-filtering-for-pixelated-games-in-webgl/
Edited by Imbris