On June 22, 2019 10:21:41 AM EDT, Jon P <[email protected]> wrote: > >A friend who has some nice programming skills has been working with me on a >search engine for set.mm. We'd really appreciate any feedback
Cool! I have one immediate feedback, you need to add web fonts. On firefox on android, and probably many others, symbols like turnstile don't show up. And that is a problem. The good news is that doing this is essy. You might check out how metamath.org does it. You just have to note it in the html (or css) header and put the web font on your site. (Do not just load it from an external site using your html, because that enables unauthorized tracking. It is much better to host your web fonts yourself.) --- David A.Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/6476DF41-B71F-4BB6-B4FD-59F2A547106E%40dwheeler.com.
