| Wed, 15 Nov 2017 00:05:24 +0100 |
domruf |
setup: temporary workaround to avoid dulwich 0.8.16 - it cause test failures
|
| Mon, 27 Nov 2017 03:50:03 +0100 |
Mads Kiilerich |
tests: fix test_users_and_groups_data - it seems to have been broken since it was introduced in 6c3bda995a88 ... or some dependency update made it fail
|
| Mon, 30 Oct 2017 01:26:31 +0100 |
domruf |
less: make pull request 'next iteration' changeset table smaller and scrollable
|
| Sun, 29 Oct 2017 23:35:45 +0100 |
domruf |
less: clean up style - there is no table .selected
|
| Sun, 29 Oct 2017 12:06:18 +0100 |
domruf |
less: disable blue outline in navbar when tabbing through the entries in the top navbar in Chrome
|
| Mon, 27 Nov 2017 03:00:10 +0100 |
Mads Kiilerich |
base: fix tabbing to navbar links - Chrome requires the <a> to have a href
|
| Sun, 29 Oct 2017 11:13:13 +0100 |
domruf |
less: remove horizontal separator lines between settings groups
|
| Thu, 26 Oct 2017 23:03:07 +0200 |
domruf |
less: only override Bootstrap default styling of pre where it really is needed
|
| Wed, 25 Oct 2017 20:37:52 +0200 |
domruf |
less: introduce less variables and use them to control the logo styling
|
| Mon, 27 Nov 2017 02:55:44 +0100 |
Mads Kiilerich |
less: change markup and styling for the logo shown in the top left corner
|
| Tue, 24 Oct 2017 21:41:07 +0200 |
domruf |
less: move non-generated parts of pygments.css to less file
|
| Mon, 06 Nov 2017 22:43:43 +0100 |
domruf |
less: remove unused .codeblock and .code-body style
|
| Sun, 29 Oct 2017 01:31:02 +0200 |
domruf |
less: remove margin in .panel-heading - looks fine without it
|
| Sun, 29 Oct 2017 01:31:02 +0200 |
domruf |
less: remove unnecessary globe and keyhole icon style - it looks better without them
|
