diff --git a/docs/assets/stylesheets/extra.css b/docs/assets/stylesheets/extra.css new file mode 100644 index 000000000..007220c47 --- /dev/null +++ b/docs/assets/stylesheets/extra.css @@ -0,0 +1,7 @@ +/* The theme hides the top tabs below 76.25em, leaving the other pages only behind the + hamburger menu. Keep them visible down to tablet width; the tab list scrolls sideways. */ +@media screen and (min-width: 45em) and (max-width: 76.234375em) { + .md-tabs { + display: block; + } +} diff --git a/properdocs.yml b/properdocs.yml index ef39330e8..8e0af238a 100644 --- a/properdocs.yml +++ b/properdocs.yml @@ -195,6 +195,9 @@ plugins: - docgen/options_table.py - docgen/render_templates.py +extra_css: + - assets/stylesheets/extra.css + extra_javascript: - javascripts/markdown_actions.js - javascripts/nav_collapse.js