mirror of
https://github.com/godotengine/godot-docs.git
synced 2025-12-31 17:49:03 +03:00
c03229cd9d
This also updates the index page, changes the first
sidebar section to be "About" without an extra level,
and renames "Tutorials" to "Manual"
(cherry picked from commit 0c100d9f14)
9 lines
195 B
CSS
9 lines
195 B
CSS
/**
|
|
* CSS tweaks that are only added outside ReadTheDocs (i.e. when built locally).
|
|
*/
|
|
|
|
/* Re-add default red boxes around Pygments errors */
|
|
.highlight .err {
|
|
border: 1px solid #FF0000;
|
|
}
|