{"push_id":748997822,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8f5a23cf808ab91d6602fa02c422d3f1b5874655","before":"41bf365c8cd3eeddb020e192d19c8e868368895f","commits":[{"sha":"8f5a23cf808ab91d6602fa02c422d3f1b5874655","author":{"email":"b2ad5cb407988fb67117a5d88184272bb68b92ab@gmail.com","name":"Balló György"},"message":"Small improvements for themes\n\n- Use non-bold text on the top panel. I found it's easier to read, and more similar to GNOME 2 and GNOME Classic.\n\n- @theme_unfocused_text_color is not available in HighContrast theme, use @theme_unfocused_text_color again.\n\n- Use higher contrast for the active tasklist button in HighContrast theme.","distinct":true,"url":"https://api.github.com/repos/GNOME/gnome-panel/commits/8f5a23cf808ab91d6602fa02c422d3f1b5874655"}]}