godotengine/godot-docs: Official EU-hosted mirror of the Godot Engine GitHub documentation repository, provided as backup and for anyone who cannot access GitHub due to US trade restrictions. Please only use the issue tracker if you are restricted from using GitHub. @ f5d11e648318759e27677da15efb3bff9df2ea3f

Yuri Sizov 81a4cc2002 Fix the styling of the HTML shell reference (#6119)		2 lat temu
..
algolia.css	114237f192 Fix scrolling the navigation bar on mobile (#5049)	3 lat temu
custom.css	81a4cc2002 Fix the styling of the HTML shell reference (#6119)	2 lat temu
dev.css	50edc681f9 Add dev.css override	3 lat temu