From dd4acb71a89c51762b220c7d6ae43dec2689f6be Mon Sep 17 00:00:00 2001
From: Patrik Oldsberg <poldsberg@gmail.com>
Date: Thu, 16 Apr 2020 01:13:24 +0200
Subject: [PATCH] packages/theme: remove invalid and ignored theme options

---
 packages/theme/src/baseTheme.ts | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/packages/theme/src/baseTheme.ts b/packages/theme/src/baseTheme.ts
index f07333ef1f..998442fe10 100644
--- a/packages/theme/src/baseTheme.ts
+++ b/packages/theme/src/baseTheme.ts
@@ -42,11 +42,6 @@ export function createThemeOptions(
       type,
       background: {
         default: colors.PAGE_BACKGROUND,
-        // @ts-ignore
-        informational: '#60a3cb',
-      },
-      color: {
-        default: colors.TEXT_COLOR,
       },
       status: {
         ok: colors.STATUS_OK,
@@ -63,7 +58,6 @@ export function createThemeOptions(
           default: colors.DEFAULT_PAGE_THEME_COLOR,
         },
       },
-      // @ts-ignore
       primary: {
         main: blue[500],
       },
@@ -82,10 +76,6 @@ export function createThemeOptions(
       gold: yellow.A700,
       sidebar: colors.SIDEBAR_BACKGROUND_COLOR,
     },
-    navigation: {
-      width: 220,
-      background: '#333333',
-    },
     typography: {
       fontFamily: '"Helvetica Neue", Helvetica, Roboto, Arial, sans-serif',
       h5: {