Re: [Metamath] Metamath proof visualizer with graphs

['David A. Wheeler' via Metamath]

> On Jun 6, 2024, at 5:54 PM, Matthias Vogt <matthiasvog...@gmail.com> wrote:
> 
> Thanks everyone for the compliments c:
> 
> > I did find a minor problem with the graph display - the bottom part of the 
> > text 
> > labels gets cut off. E.g., in "eqtr4i" you can't tell it's a "q" because 
> > the bottom 
> > tail is cut off. I suspect a minor tweak would fix it.
> I can't reproduce this in chrome or Firefox unfortunately, what browser are 
> you using?

Chrome on MacOS. However, I think what matters is that its setting "Appearance 
-> Font Size"
is set to "Very Large" (I have bad eyesight). Setting it to "Medium" makes the 
problem go away,
thought it should auto-adjust.

--- 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 metamath+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/metamath/C92A4126-5BA1-4968-B48F-0C2D6D4C0457%40dwheeler.com.