(defun header ()
(cl-who:with-html-output (x *html-output-stream* :prologue t)
(:head (:meta :charset "utf-8")
(:meta :http-equiv "X-UA-COMPATIBLE"
:content "IE=edge")
(:meta :name "viewport"
:content "width=device-width, initial-scale=1")
(:script :src "https://code.jquery.com/jquery-3.3.1.js")
(:script :src "/libraries/sha512/sha512.js")
(:script :src "/libraries/validate/jquery.validate.js")
(:link :rel "stylesheet"
:href "//fonts.googleapis.com/css?family=Roboto:300,300italic,700,700italic")
(:link :rel "stylesheet"
:href "//cdn.rawgit.com/necolas/normalize.css/master/normalize.css")
(:link :rel "stylesheet"
:href "//cdn.rawgit.com/milligram/milligram/master/dist/milligram.min.css")
(:link :rel "stylesheet" :type "text/css"
:href "/css/main.css"))))