Font in sidebar is very small with not much padding #6
Description
The code and header menu are pretty easy to read/click, but the sidebar is another matter. The options are as small as 10px, which I think is too small. Here is how it looks in Chrome on Linux:
