crate-docs-theme
crate-docs-theme copied to clipboard
crate
Page tools rendering glitch on CrateDB Reference, version 3.3
About
At https://cratedb.com/docs/crate/reference/en/3.3/, the recently added page tools currently render like this.
It is obviously broken, but we did not investigate why, yet. @msbt suggested that some CSS might not be pulled in correctly.
It looks like this section is no longer refreshed. It only includes version up to CrateDB 5.4.
Shall we finally remove it?
/cc @seut, @matriv
Fine for me to remove it, but let's see what the others think (@mfussenegger, @henrikingo).
I'd also agree to not spend much time to fix it if it's not trivial, and remove it for 3.3,
