<!DOCTYPE html> <html lang="en-US"> <head> <meta name="viewport" content="width=device-width, initial-scale=1"> <meta charset="utf-8"> <title>{{ page.title }} - {{ site.title }}</title> <link rel="stylesheet" href="{{ "/assets/css/main.css" | relative_url }}"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.15.2/dist/katex.min.css" integrity="sha384-MlJdn/WNKDGXveldHDdyRP1R4CTHr3FeuDNfhsLPYrq2t0UBkUdK2jyTnXPEK1NQ" crossorigin="anonymous"> <link rel="stylesheet" href="{{ "/lagda/Agda.css" | relative_url }}" /> </head> <body> {{ content }} </body> </html>