Factor out the anchor prefix to easily allow switching to #!

client/web/variable-heading.html

Index: client/web/variable-heading.html
diff --git a/client/web/variable-heading.html b/client/web/variable-heading.html
index 22e1341501925992baec406a964ec9e7a9ca0670..456ce80fdfeb8e238b03de39dc8089a19693c1ae 100644
--- a/client/web/variable-heading.html
+++ b/client/web/variable-heading.html
@@ -9,7 +9,7 @@
     <template if="{{item.isConstant}}">const</template>
     <template if="{{item.isSetter}}">
       set&nbsp;
-      <b><a id="{{idName}}" href="#{{item.anchorHref}}">{{name}}</a></b>(
+      <b><a id="{{idName}}" href="{{item.prefixedAnchorHref}}">{{name}}</a></b>(
       <dartdoc-annotation annotations="{{item.setterParameter.annotations}}">
       </dartdoc-annotation>
       <dartdoc-type type="{{item.setterParameter.type}}"></dartdoc-type>
@@ -18,7 +18,7 @@
     <template if="{{isNotSetter}}">
       <dartdoc-type type="{{item.type}}"></dartdoc-type>
       {{getter}}
-      <b><a id="{{idName}}" href="#{{item.anchorHref}}">{{name}}</a></b>
+      <b><a id="{{idName}}" href="{{item.prefixedAnchorHref}}">{{name}}</a></b>
     </template>
   </template>
   <script type="application/dart" src="variable-heading.dart"></script>