From 3768f34ed03f8fcaf32abfe282763ba48e9581f7 Mon Sep 17 00:00:00 2001 From: Andy Zhao <17884966+Zhao-Andy@users.noreply.github.com> Date: Mon, 6 Apr 2020 14:50:34 -0400 Subject: [PATCH] Change /settings/misc to /settings/ux (#7107) * Change /settings/misc to /settings/ux * Update docs ruby version --- docs/.ruby-version | 2 +- docs/design/theming.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/.ruby-version b/docs/.ruby-version index 24ba9a38d..860487ca1 100644 --- a/docs/.ruby-version +++ b/docs/.ruby-version @@ -1 +1 @@ -2.7.0 +2.7.1 diff --git a/docs/design/theming.md b/docs/design/theming.md index fc70269bc..c08794dfc 100644 --- a/docs/design/theming.md +++ b/docs/design/theming.md @@ -6,7 +6,7 @@ title: Theming Guidelines DEV supports different themes, such as Default, Night, Pink. -You can switch the theme at in the "Style +You can switch the theme at in the "Style Customization" section. These themes are powered by [CSS custom