summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/_themes
diff options
context:
space:
mode:
authorHongyi Zhang <hongyi73.zhang@gmail.com>2015-10-16 10:47:04 +0200
committerHongyi Zhang <hongyi73.zhang@gmail.com>2015-10-16 10:47:04 +0200
commitaf042458194867ce9a9304eae2c261c14676b83a (patch)
tree1de63b6f8945a93ec0950ce55983585be163f1fe /user_guide_src/source/_themes
parent89c7123621f22533e1777796237a9b06bd190976 (diff)
fix a typo in comment
Signed-off-by: Hongyi Zhang <hongyi73.zhang@gmail.com>
Diffstat (limited to 'user_guide_src/source/_themes')
-rw-r--r--user_guide_src/source/_themes/sphinx_rtd_theme/static/js/theme.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/static/js/theme.js b/user_guide_src/source/_themes/sphinx_rtd_theme/static/js/theme.js
index 52580a056..bc996b710 100644
--- a/user_guide_src/source/_themes/sphinx_rtd_theme/static/js/theme.js
+++ b/user_guide_src/source/_themes/sphinx_rtd_theme/static/js/theme.js
@@ -85,7 +85,7 @@ $(window).on('resize', function(){
if (getCookie('ciNav') == 'true' && $(window).width() <= 768) { // 768px is the tablet size defined by the theme
$('.wy-nav-side').show();
}
- // changing css with jQuenry seems to override the default css media query
+ // changing css with jquery seems to override the default css media query
// change margin
else if (getCookie('ciNav') == 'false' && $(window).width() <= 768) {
$('.wy-nav-content-wrap').css({'margin-left': 0});