Daniel Martí 501d3d3176 Merge branch 'darker-dark-theme' into 'master' ...

Use darker primary colors for the Dark theme

Primary colors of the Light theme are too bright for the Dark theme. The difference should be especially noticeable on OLED screens.

Before and after:

![before](/uploads/437920c0b1173522b3d8312740532d12/before.png)
![after](/uploads/e1fa004e35021152688ba5b0da4d7086/after.png)

See merge request !160

2015-10-29 15:40:09 +00:00

..

assets

Run optipng -o7 on all png images

2015-10-04 08:14:48 -07:00

libs/binaryDeps

Update jmdns to 3.4.2 from 3.4.1+ trunk

2015-10-06 14:11:30 +02:00

res

Merge branch 'darker-dark-theme' into 'master'

2015-10-29 15:40:09 +00:00

src

Disable DownloadManager usage for stable

2015-10-29 16:11:08 +01:00

test

Fix tests after e085e039

2015-10-25 13:13:55 +01:00

tools

Make remove-unused-trans remove empty strings

2015-10-19 09:49:14 +02:00

AndroidManifest.xml

Bump to 0.97-alpha7

2015-10-23 11:01:04 +02:00

build.gradle

Revert netcipher to fix SNI regression

2015-10-29 16:08:17 +01:00

proguard-rules.pro

Revert netcipher to fix SNI regression

2015-10-29 16:08:17 +01:00