<div dir="ltr">Hi all,<div><br></div><div>Thanks for all the help on "Too many active changes after 'make emscripten' "</div><div><br></div><div>So today I was working with the navbar (web app) & realized that navbar is currently using bootstrap's default font (as of now it goes well with the overall UI) But for consistency should I change that to default "DejaVu Sans Mono"?</div><div><br></div><div>Also, I think we should consider labelling issues. Currently, there are more than 300 open issues.</div><div><br></div><div>Thanks & Regards,</div><div>Sanket</div></div>