diff --git a/_layouts/default.html b/_layouts/default.html
index c998dfe..7415c29 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -5,10 +5,12 @@
     <meta charset="utf-8">
     <title>{{ page.title }} - {{ site.title }}</title>
     <link rel="stylesheet" href="{{ "/assets/css/main.css" | relative_url }}">
-    <link rel="stylesheet" href="{{ "/assets/css/katex.css" | relative_url }}">
-	<link rel="stylesheet" href="{{ "/lagda/Agda.css" | relative_url }}" />
   </head>
   <body>
     {{ content }}
   </body>
+  <head>
+    <link rel="stylesheet" href="{{ "/assets/css/katex.css" | relative_url }}">
+	  <link rel="stylesheet" href="{{ "/lagda/Agda.css" | relative_url }}">
+  </head>
 </html>
