From 4bf5db1c275fb2cc504eeab81434bf1dc039f9e5 Mon Sep 17 00:00:00 2001
From: Ramana Kumar <ramana@member.fsf.org>
Date: Wed, 15 Nov 2017 22:25:24 +1100
Subject: [PATCH] Fix Valid CSS link

---
 serverLib.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/serverLib.sml b/serverLib.sml
index 6b40883..0361a1d 100644
--- a/serverLib.sml
+++ b/serverLib.sml
@@ -776,7 +776,7 @@ in
     @ [footer [a host "CakeML main page",
                a "https://github.com/CakeML/regression" "Site code on GitHub",
                a (String.concat["https://validator.w3.org/nu/?doc=",server]) "Valid HTML",
-               a (String.concat["https://jigsaw.w3.org/css-validator/validator?uri=",server,style_href]) "Valid CSS"]]
+               a (String.concat["https://jigsaw.w3.org/css-validator/validator?uri=",host,style_href]) "Valid CSS"]]
   | req_body (DisplayJob id) =
     let
       val jid = Int.toString id