summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/_themes/sphinx_rtd_theme/static/css
diff options
context:
space:
mode:
authorInstructor, Computer Systems Technology <jim_parry@bcit.ca>2015-10-21 15:10:32 +0200
committerAndrey Andreev <narf@devilix.net>2015-10-21 15:25:06 +0200
commit29b90f7ea402b9d8227fff86e32ab13de056b6c1 (patch)
tree8727312ba8764bb69b84f22d0cf85fba0224244f /user_guide_src/source/_themes/sphinx_rtd_theme/static/css
parenta7d4abaedc27497d570ae06ddc9cdde05930ec15 (diff)
Merge pull request #4167 from zhanghongyi/fix-pulldown
disable pulldown menu on mobile devices
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/static/css')
-rw-r--r--user_guide_src/source/_themes/sphinx_rtd_theme/static/css/citheme.css15
1 files changed, 15 insertions, 0 deletions
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
index 192af2004..a2a3b3e91 100644
--- 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
@@ -70,4 +70,19 @@ div#pulldown-menu {
font-weight: 300;
font-family: Lucida Grande,Verdana,Geneva,sans-serif;
color: #aaaaaa;
+}
+
+/*hide pulldown menu on mobile devices*/
+@media (max-width: 768px) { /*tablet size defined by theme*/
+ #closeMe {
+ display: none;
+ }
+
+ #pulldown {
+ display: none;
+ }
+
+ #openToc {
+ display: none;
+ }
} \ No newline at end of file