Eduardo Cueto Mendoza b41dd8e13c Another change of style		2020-06-13 22:13:31 -06:00
..
foot.html	Another change of style	2020-06-13 22:13:31 -06:00
foot_highlight.html	Initial commit	2020-06-13 10:55:03 -06:00
foot_katex.html	Initial commit	2020-06-13 10:55:03 -06:00
head.html	Another change of style	2020-06-13 22:13:31 -06:00
head_highlight.html	Another change of style	2020-06-13 22:13:31 -06:00
head_katex.html	Another change of style	2020-06-13 22:13:31 -06:00
page_foot.html	Another change of style	2020-06-13 22:13:31 -06:00