 Hugo Locurcio
|
c50cd002ad
Make the documentation logo hiDPI-friendly
|
4 years ago |
 Rémi Verschelde
|
5b2aaf8d41
Optimize PNGs with optipng
|
6 years ago |
 Daniel J. Ramirez
|
9f637c47b7
New logo for the docs
|
7 years ago |
 Nathan
|
22a17aed56
Optimized all png and gif files with FileOptimizer
|
7 years ago |
|
Daniel J. Ramirez
|
afc750966c
Updated logo
|
7 years ago |
|
Rémi Verschelde
|
a3a44b34b3
Fix all PNG images for potential incorrect sRGB profile
|
8 years ago |
|
Daniel J. Ramirez
|
d3138c97bc
New logo for the docs
|
8 years ago |
|
Rémi Verschelde
|
6528ee8079
Make the logo a bit smaller again
|
8 years ago |
|
Rémi Verschelde
|
52b63a977d
conf.py: Prevent RTD from overriding our theme config
|
8 years ago |
|
Rémi Verschelde
|
0d70225b5a
conf.py: Add a Godot docs logo
|
8 years ago |
