| commit | 924ac35f6d5a51ab5a9c0a27fed246a5678c5ea6 | [log] [tgz] |
|---|---|---|
| author | Andrey Andreev <narf@devilix.net> | Thu Jul 16 10:48:42 2015 +0300 |
| committer | Andrey Andreev <narf@devilix.net> | Thu Jul 16 10:48:42 2015 +0300 |
| tree | 31e2ec31b519538aabe46125e06b51d9d390094f | |
| parent | 4a4cbb376b1d17a9e74edad8f7cb7f27a50c01c7 [diff] |
[ci skip] Fix #3869 Close #3978 Close #3979
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 0000000..10e7d04 --- /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
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf b/user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf index dcfbf8c..5814ac9 100644 --- a/user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf +++ b/user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf
@@ -1,6 +1,6 @@ [theme] inherit = basic -stylesheet = css/theme.css +stylesheet = css/citheme.css [options] typekit_id = hiw1hhg