build

1 files changed, 6 insertions, 3 deletions

diff --git a/app/Web.hs b/app/Web.hs
index a8a38ae..f64178f 100644
--- a/app/Web.hs
+++ b/app/Web.hs
@@ -30,10 +30,13 @@ import System.Timeout (timeout)
 data HomeView = HomeDefault | HomeError String String | HomeResult String Bool
 
 type HomeAPI =
+  "sumcheck" :>
   QueryParam "theorem" String
     :> Get '[HTML] HomeView
 
-type API = HomeAPI :<|> "static" :> Raw
+type StaticAPI = "sumcheck" :> "static" :> Raw
+
+type API = HomeAPI :<|> StaticAPI
 
 startApp :: IO ()
 startApp = run 9000 app
@@ -213,8 +216,8 @@ pageTemplate crumbs body = doctypehtml_ $ do
     meta_ [charset_ "utf-8"]
     meta_ [name_ "viewport", content_ "width=device-width, initial-scale=1.0"]
     link_
-      [rel_ "shortcut icon", type_ "image/x-icon", href_ "/static/favicon.ico"]
-    link_ [rel_ "stylesheet", type_ "text/css", href_ "/static/style.css"]
+      [rel_ "shortcut icon", type_ "image/x-icon", href_ "/sumcheck/static/favicon.ico"]
+    link_ [rel_ "stylesheet", type_ "text/css", href_ "/sumcheck/static/style.css"]
   body_ $
     div_ [class_ "container"] $ do
       div_ [class_ "row navbar"] $