mathlib import visualization

Stream: general

[Kim Morrison]

For discussion on @Jon Eugster's announcement #announce > Mathlib visualisation

[Kim Morrison]

Is there any way to encourage the layout to "follow the arrows", i.e. so the arrows mostly point downhill (or uphill, I can't actually tell which way the arrows point, because the graphs are too complicated!)

[Edward van de Meent]

image.png
dark mode makes the white text unreadable :sad:

[Edward van de Meent]

or at least, hard to read

[Jon Eugster]

I think I'll just add

html, body {
  background-color: white;
  color: black;
}

for now, but a proper dark theme could be implemented in this file.