[docs] Minor improvements (#16423)

* [docs] Add spacing between demo code and content * Open drawer -> Open main navigation * Pickers -> Date/Time inputs
mui · Jun 30, 2019 · d903190 · d903190
1 parent 212e8bd
commit d903190
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/docs/src/modules/components/Demo.js b/docs/src/modules/components/Demo.js
@@ -80,6 +80,7 @@ const styles = theme => ({
   code: {
     display: 'none',
     padding: 0,
+    marginBottom: theme.spacing(1),
     marginRight: 0,
     [theme.breakpoints.up('sm')]: {
       display: 'block',

diff --git a/docs/src/pages/components/pickers/pickers.md b/docs/src/pages/components/pickers/pickers.md
@@ -3,9 +3,9 @@ title: Date Picker, Time Picker React components
 components: TextField
 ---
 
-# Pickers
+# Date/Time inputs
 
-<p class="description">Pickers provide a simple way to select a single value from a pre-determined set.</p>
+<p class="description">Date/Time inputs (short: pickers) provide a simple way to select a single value from a pre-determined set.</p>
 
 - On mobile, pickers are best suited for display in confirmation dialog.
 - For inline display, such as on a form, consider using compact controls such as segmented dropdown buttons.

diff --git a/docs/translations/translations.json b/docs/translations/translations.json
@@ -72,7 +72,7 @@
   "emoojiWarning": "Warning",
   "mainNavigation": "Main navigation",
   "skipToContent": "Skip to content",
-  "openDrawer": "Open drawer",
+  "openDrawer": "Open main navigation",
   "changeLanguage": "Change language",
   "pageTOC": "Page table of contents",
   "showJSSource": "Show JavaScript source",
@@ -128,7 +128,7 @@
     "/components/no-ssr": "No SSR",
     "/components/other": "Other",
     "/components/paper": "Paper",
-    "/components/pickers": "Pickers",
+    "/components/pickers": "Date/Time",
     "/components/popover": "Popover",
     "/components/popper": "Popper",
     "/components/portal": "Portal",