mirror of
https://github.com/godotengine/godot-docs.git
synced 2025-12-31 17:49:03 +03:00
0c100d9f14
This also updates the index page, changes the first sidebar section to be "About" without an extra level, and renames "Tutorials" to "Manual"
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;
|
|
}
|