15 lines
622 B
HTML
15 lines
622 B
HTML
<!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>
|