7 Commits (97607c3ca5ac837f7f6bc7a048b72a8271fbd570)

Author SHA1 Message Date
Jacky Zhao f9c7cdf928 fix: check for src before attempting to add popover 3 years ago
Jacky Zhao e6e04c03c4 fix latex misrendering 3 years ago
Jacky Zhao c117e38899 feat: wikilinks implementation 3 years ago
Jacky Zhao 1ddd15afc6 fix: non-unicode character in popover and search #67, #68 3 years ago
Claudio Yanes 978d5ca1ae Format JS 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