15 Commits (87b5a7a2519c70b6f6e678c6b86a3aefc4dd3218)

Author SHA1 Message Date
Jacky Zhao 25b5ac43dd fix: favicon not showing on non-root domain #89 3 years ago
Jacky Zhao cc86136bcb feat: basic latex support 3 years ago
Claudio Yanes 7f6523337c Move popover to the end of the page
The popover script doesn’t ever start in until the DOM has finished
Loading, so wait for the script to be downloaded and parsed before
Showing the content to the user makes no sense.
3 years ago
Claudio Yanes 7e0f2e4449 Fix fetchData
The fetchData function suffer from a race condition. If the function is
called before the promise finishes, it will result in another pair of
HTTP request. This does not only make the function useless but
Actually, it makes it harmful as the data might be redownloaded twice.

Now fetchData is not a function but rather the promise by itself.
Previous callers are expected to await the variable instead, this
should be not concern as awaiting a promise multiple time in
JavaScript is completely safe.
3 years ago
Claudio Yanes 1313bd9779 Move css and js to appropriate files
Having the CSS and JS in the html template produces pages larger
than necessary, as each page need to contain all the js/css.
Separating them in appropriate files allow the browser to just download
them once and use them for all the pages. This is even more effective
with an aggressive cache policy for the js and css, something that can
be done without fear thanks to the implemented cache-busting.
Also, having then in separate files allows us to use Hugo pipelines
for minimizing the code.
3 years ago
Jacky Zhao 3b3e6ec3b2 fix relative pathing for dynamic fetch 3 years ago
Jacky Zhao fcd5d2807d feat: dynamically fetch indices 3 years ago
Jacky Zhao c520db4882 fix: #50, change css load order 3 years ago
Jacky Zhao 4a3c4fdef5 popover implementation 3 years ago
Jacky Zhao 6fbfa7170b various font and colour fixes 3 years ago
Brecht Savelkoul f9920f6d73 Execute darkmode script before first render 3 years ago
jackyzha0 92d18b1ee5 more docs + link fixing 3 years ago
jackyzha0 6896cb007b proper backlink and graph display in footer 3 years ago
jackyzha0 ea69050587 add base pages 3 years ago
jackyzha0 c01138a81c add base structure 3 years ago