mirror of
https://github.com/godotengine/godot-docs.git
synced 2025-12-31 17:49:03 +03:00
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;
|
|
}
|