From 924ac35f6d5a51ab5a9c0a27fed246a5678c5ea6 Mon Sep 17 00:00:00 2001 From: Andrey Andreev Date: Thu, 16 Jul 2015 10:48:42 +0300 Subject: [ci skip] Fix #3869 Close #3978 Close #3979 --- .../source/_themes/sphinx_rtd_theme/static/css/citheme.css | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 user_guide_src/source/_themes/sphinx_rtd_theme/static/css/citheme.css (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/static/css/citheme.css') diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/static/css/citheme.css b/user_guide_src/source/_themes/sphinx_rtd_theme/static/css/citheme.css new file mode 100644 index 000000000..10e7d04c6 --- /dev/null +++ b/user_guide_src/source/_themes/sphinx_rtd_theme/static/css/citheme.css @@ -0,0 +1,7 @@ +@import 'theme.css'; + +.highlighted { + padding: 0px !important; + font-weight: inherit !important; + background-color: #f1d40f !important; +} \ No newline at end of file -- cgit v1.2.3-24-g4f1b