factor out css to two files for performance
This commit is contained in:
parent
791fa607da
commit
6c61cb11a7
|
@ -5,6 +5,7 @@
|
|||
<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>
|
||||
|
|
1
assets/css/katex.css
Normal file
1
assets/css/katex.css
Normal file
File diff suppressed because one or more lines are too long
File diff suppressed because it is too large
Load Diff
|
@ -149,5 +149,3 @@ code, .Agda {
|
|||
padding: 4px;
|
||||
overflow-x: auto;
|
||||
}
|
||||
|
||||
@import "katex"
|
||||
|
|
Loading…
Reference in New Issue
Block a user