html introduction vignette