edmcouncil / html-pages

spec.edmcouncil.org web pages

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Initial font size in onto-viewer diagrams

rr-adam opened this issue · comments

Currently the initial font sizes in onto-viewer diagrams seems to small. Also these sizes may be reduced by scrolling.