Eduardo Cueto Mendoza 2a07c80498 Added new header image		2020-06-19 11:24:02 -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	Added new header image	2020-06-19 11:24:02 -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