Increase font-size of elements panel
Increase font-size of elements panel

micjamking/devtools-themes,micjamking/devtools-author,micjamking/shiny-happiness,micjamking/devtools-author,micjamking/devtools-themes,micjamking/shiny-happiness