Fixed issues after Github site update

[jerone]

Fixes #68

[jerone]

@darkred This PR contains a fix for your issue and other changes to GitHub new changes. I was hoping you could give this version a try to confirm that the fix works.

[darkred]

Yes, it's working ok now.
Just one thing: the filters now appears in a table which has borders (which makes the table rather confusing -- too many horizontal borders ):

I'd definitely prefer the previous version where there were no borders at all.

Or alternatively, I'd suggest no borders -or dotted borders, i.e. more subtle ones-
between rows of subcategories that belong to the same category.
But keep the new maincategory+subcategories highlighting (when clicking a main category).
Here is a mockup for my suggestion:

[jerone]

Yes, it's working ok now.

Yeah thanks for testing 👍

Just one thing: [...]

I removed the previous theme because of GitHub removing it from every elements and switching to the current theme. Personally I prefer the new one, but I just want to precede GitHub when they remove the theme all together with all these updates to the GitHub site.

Just did a commit testing a design with arrows...

Not sure yet about the best solution... will try your suggestion soon.

[jerone]

Reminder for myself;

• looks like not every comment on PR are counted as PR > comments
• created tag aren't part of repo > tagged

[darkred]

Yeah thanks for testing

You're welcome.

Not sure yet about the best solution... will try your suggestion soon.

Great! 👍

[jerone]

So I kind of settled on a combination of your and mine style suggestions:

Besides the yellowish background color, font is now bold. I used dashed borders for sub filters, but kept the indention and arrows, because there are also sub sub filters.

[darkred]

It's great now. Thank you.

[jerone]

@darkred Just merged this PR. Thanks for mentioning the issue, helping with debugging and testing. Mirrors should be synced very soon.