mirror of
https://github.com/stan220/godot-docs.git
synced 2026-09-08 22:29:18 +00:00
Yuri Sizov
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;
|
|
}
|