diff options
| author | Hongyi Zhang <hongyi73.zhang@gmail.com> | 2015-10-16 10:47:04 +0200 |
|---|---|---|
| committer | Hongyi Zhang <hongyi73.zhang@gmail.com> | 2015-10-16 10:47:04 +0200 |
| commit | af042458194867ce9a9304eae2c261c14676b83a (patch) | |
| tree | 1de63b6f8945a93ec0950ce55983585be163f1fe | |
| parent | 89c7123621f22533e1777796237a9b06bd190976 (diff) | |
fix a typo in comment
Signed-off-by: Hongyi Zhang <hongyi73.zhang@gmail.com>
| -rw-r--r-- | user_guide_src/source/_themes/sphinx_rtd_theme/static/js/theme.js | 2 |
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}); |