 Guido Günther
|
b57e1ce660
|
Drop now unused theme_path
|
2019-07-10 15:39:16 +02:00 |
|
|
Guido Günther
|
7f5f310bf0
|
Add some border at the top
Closes: #28
|
2019-07-10 11:31:24 +02:00 |
|
|
Guido Günther
|
f1d97e396b
|
Drop icons
They're not being installed and we want ones matching current
GNOME design anyway.
|
2019-07-04 16:25:05 +02:00 |
|
|
Guido Günther
|
abf8f4daa8
|
eek-theme: Remove code for old croko versions
These versions aren't even in Debian's oldstable release.
|
2019-07-04 16:21:18 +02:00 |
|
|
Guido Günther
|
aba242301d
|
Use a gresource to store the css
This makes build / test faster since one can skip install. It's
also more obvious which file is being used.
|
2019-07-04 16:16:04 +02:00 |
|
|
Guido Günther
|
7a52080940
|
Remove automake leftovers
|
2019-07-04 14:51:00 +02:00 |
|