diff --git a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js index 323dc23..a04a055 100644 --- a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js +++ b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js @@ -16,7 +16,7 @@ // @include https://github.com/?* // @include https://github.com/orgs/*/dashboard // @include https://github.com/orgs/*/dashboard?* -// @version 8.2.3 +// @version 8.2.4 // @grant none // ==/UserScript== @@ -138,6 +138,12 @@ github-news-feed-filter .filter-list-item.open > a > .stars > .octicon { transform: rotate(-90deg); } .no-alerts { font-style: italic; } + + ul.repo-filterer > li { display: inline; } + ul.repo-filterer > li > a { padding: 10px 10px; } + ul.repo-filterer > li > a:hover { text-decoration: none; } + ul.repo-filterer > li > a.filter-selected { font-weight: bold; border-bottom-color: #e36209 !important; border-bottom: 2px solid transparent; } + `); // Add filter menu list. diff --git a/Github_News_Feed_Filter/README.md b/Github_News_Feed_Filter/README.md index 963751c..5dd5365 100644 --- a/Github_News_Feed_Filter/README.md +++ b/Github_News_Feed_Filter/README.md @@ -69,6 +69,10 @@ Currently integrated filters: ## Version History +* **8.2.4** + + * 🐛 Added CSS for tab titles. Fixes [#130](https://github.com/jerone/UserScripts/issues/130). (by [@darkred](https://github.com/darkred)) + * **8.2.3** * ✨ Re-added of the "Issues" filter ( Issues|Labeled ) which was removed per [#121 (comment)](https://github.com/jerone/UserScripts/issues/121#issuecomment-336629514) after another GitHub site update (by [@darkred](https://github.com/darkred)).