Searching in doc/html/katex/fonts