Make font for top-level options larger if possible

soarlab / soarlab.github.io

BSD 3-Clause "New" or "Revised" License

0 stars 4 forks source link

Open zvonimir opened 4 years ago

zvonimir commented 4 years ago

I find the font for home, people, publications, positions to be a bit on the smaller side. It would be nice to make it larger if possible.