Encode environments args in html