4 Commits

Author	SHA1	Message	Date
Ed Sanders	e4719c56a7	SVG/CSS generator: Ignore duplicates and 'notWorking' buttons ... Change-Id: I5f0c9fc62a1e434576550e142d6b25f329e63e7f	2015-11-20 18:03:06 -08:00
Ed Sanders	cbc847222e	SVG/CSS generator: Make faster by skipping already-fetched icons ... Also keep the CSS file in alphabetical order so additions make for clean diffs. (The async built file had a pseudo-random order) Change-Id: Iad76ef36c90f42ba3232f135b05465408f42b2ba	2015-11-20 17:32:03 -08:00
Ed Sanders	a682d9677f	VE: Correct name of script in header ... Change-Id: I4a76d72dcb22a5ebeb02f6c0b6946c1ef4744185	2015-11-18 20:16:13 -08:00
Thalia	eac71ab60f	Add tool to create SVG files of LaTeX symbols ... Also produces a CSS file for the symbol buttons, using the SVG filenames. Gets the list of symbols from symbols.json. Bug: T118660 Change-Id: Iaa792418d870a7e266b6455ef037994e31278278	2015-11-19 04:11:59 +00:00