message: Add placeholder for theming page
diff: export default {
  dest: '/docs',
  - menu: ['Getting Started', 'Primitives', 'Typography', 'Layout', 'Elements'],
  + menu: ['Getting Started', 'Primitives', 'Typography', 'Layout', 'Elements', 'Theming'],
  themeConfig: {
  colors: {
  primary: '#1a9cfc'
  