Disable activeHeaderLinks for VuePress. Remove bullet points in server config doc.

[lilincmu]

Small UI changes regarding anchor links.

Disable activeHeaderLinks for VuePress

Currently, when clicking header links in server configuration doc, such as --allow-fork-prs, the expected anchor link https://www.runatlantis.io/docs/server-configuration.html#allow-fork-prs won't persist, but will be changed to https://www.runatlantis.io/docs/server-configuration.html#flags.

The reason is that we are enabling Active Header Links with a sidebarDepth to be 1 by default. So once we jump to the #allow-fork-prs tag, we are immediately redirected to the parent tag within sidebarDepth, in this case, #flags.

One way to fix this is to increase the sidebarDepth, however, doing so will make our sidebar a bit cluttered as shown below (which might be fine).

Another way is to disable the activeHeaderLinks behavior, so that the browser won't try to update the URL to the parent tag. Unless many of our users are relying on the behavior to get an anchor link, I feel it's a better option. It's less disruptive to our website layout and could be more flexible since we can have an arbitrarily deep anchor link without it being redirected to its parent tag anymore.

Remove bullet points in server config doc

If we click through the link https://www.runatlantis.io/docs/server-configuration.html#allow-fork-prs, the page won't jump to the exact section, but with a small offset.

It's because we indented the headers with bullet points * ###, which inadvertently makes VuePress drop some of the styles it could have added to the headers. We could keep the bullet point and add some custom styles like vuejs/vuepress#2771 (comment) suggested, but I think we might as well drop the bullet points so that the styles would be rendered correctly.

Also when we hover over the header, the hashtag and bullet point will overlap, so yet another reason to drop them in my opinion.