Daniel J. Ramirez
|
9f637c47b7
|
New logo for the docs
|
2018-01-10 15:52:15 -06:00 |
Nathan
|
22a17aed56
|
Optimized all png and gif files with FileOptimizer
Saved 60-70% on all pngs
Reduced robi .gif title screen animation by >90%
|
2017-10-14 11:15:38 +02:00 |
Daniel J. Ramirez
|
afc750966c
|
Updated logo
|
2017-07-15 13:08:38 -05:00 |
Rémi Verschelde
|
a3a44b34b3
|
Fix all PNG images for potential incorrect sRGB profile
Using `find . -type f -name "*.png" -exec convert {} {} \;`.
|
2016-10-01 14:34:15 +02:00 |
Daniel J. Ramirez
|
d3138c97bc
|
New logo for the docs
|
2016-07-26 13:42:13 -05:00 |
Rémi Verschelde
|
6528ee8079
|
Make the logo a bit smaller again
Screen estate is expensive.
|
2016-07-21 00:42:08 +02:00 |
Rémi Verschelde
|
52b63a977d
|
conf.py: Prevent RTD from overriding our theme config
Also tweak the logo a bit.
|
2016-07-20 23:52:57 +02:00 |
Rémi Verschelde
|
0d70225b5a
|
conf.py: Add a Godot docs logo
|
2016-07-20 23:17:05 +02:00 |