Files
2025-08-01 14:49:29 +02:00

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;
}