Make the Policies page fit in

Fixes #458.

Author: annevk

convert_policy.py

@@ -65,6 +65,7 @@ def postprocess_html(policy_html, template, title):
     result = adjust_headers(policy_html)
     result = template.replace("@CONTENT_GOES_HERE@", result)
     result = result.replace("@TITLE_GOES_HERE@", title)
+    result = result.replace("@POLICIES_LINK_GOES_HERE@", "<a" + ("" if title == "Policies" else " href=\"https://whatwg.org/policies\"") + ">Policies</a>")        
     result = result.replace("<p>EXAMPLE: ", "<p class=\"example\">")
     result = result.replace("<p>NOTE: ", "<p class=\"note\">")
     result = result.replace("<hr>\n<footer>", "<footer>")

site-template.html

@@ -23,7 +23,7 @@ <h1>
 <nav class="buttonish-links">
  <a href="https://spec.whatwg.org/">Standards</a>
  <a href="https://whatwg.org/faq">FAQ</a>
- <a href="https://whatwg.org/policies">Policies</a>
+ @POLICIES_LINK_GOES_HERE@
  <a href="https://participate.whatwg.org/">Participate</a>
 </nav>
 

whatwg.org/service-worker.js

@@ -1,6 +1,6 @@
 "use strict";
 
-self.cacheKey = "v6";
+self.cacheKey = "v7";
 self.toCache = [
   "/img/arrow.svg",
   "/img/checker.svg",