I travelled to China recently and was unpleasantly surprised to find the HTML/CSS/DOM docs totally unusable offline, even though I “downloaded” them in my user

I travelled to China recently and was unpleasantly surprised to find the HTML/CSS/DOM docs totally unusable offline, even though I “downloaded” them in my user preferences before leaving.