First time here? Check out the FAQ!

Revision history  [back]

Minor default skin fixes and sharing back

There are few issues with the default skin that I fix in my local repo - just for example:

In the 'Display tag filter' div, when the browser zoom level is increased, the labels jump off one line and don't stay on level with the buttons.

So issues like these can be fixed easily - my question is: is it good to post these minor fixes on Github and do a pull request, or is the state of default skin so fluid that you're not interested in such fixes.

Regards.