is this 4px on every platform? could it be a window decorator thing, like #2196?