web/style.less: Styles for heading anchors

Signed-off-by: Timothy Gu <timothygu99@gmail.com>