From 11ec4c3107f2401a56c2ac917bd01ea646281b38 Mon Sep 17 00:00:00 2001
From: Lorenzo Blasa <lblasa@meta.com>
Date: Tue, 14 Nov 2023 10:53:09 -0800
Subject: [PATCH] Remove unused css

Summary: This CSS was unused, so remove.

Reviewed By: aigoncharov

Differential Revision: D51307093

fbshipit-source-id: a978d76fca7cfb07c96180c4ece0b1bdf1087894
---
 desktop/static/index.web.dev.html | 49 -------------------------------
 1 file changed, 49 deletions(-)

diff --git a/desktop/static/index.web.dev.html b/desktop/static/index.web.dev.html
index 088a6af59..9d84220dd 100644
--- a/desktop/static/index.web.dev.html
+++ b/desktop/static/index.web.dev.html
@@ -40,55 +40,6 @@
       font-size: 12px;
     }
 
-    .console {
-      font-family: 'Fira Mono';
-      width: 600px;
-      height: 250px;
-      box-sizing: border-box;
-      margin: auto;
-    }
-
-    .console header {
-      border-top-left-radius: 15px;
-      border-top-right-radius: 15px;
-      background-color: #9254de;
-      height: 45px;
-      line-height: 45px;
-      text-align: center;
-      color: white;
-    }
-
-    .console .consolebody {
-      border-bottom-left-radius: 15px;
-      border-bottom-right-radius: 15px;
-      box-sizing: border-box;
-      padding: 0px 10px;
-      height: calc(100% - 40px);
-      overflow: scroll;
-      background-color: #000;
-      color: white;
-      text-align: left;
-    }
-
-    input[type="submit"] {
-      background-color: #9254de;
-      color: white;
-      font-family: system-ui;
-      font-size: 15px;
-      padding: 10px 20px;
-      border: none;
-      border-radius: 5px;
-      cursor: pointer;
-    }
-
-    input[type="submit"]:hover {
-      background-color: #722ed1;
-    }
-
-    input[type="submit"]:active {
-      background-color: #722ed1;
-    }
-
     #troubleshoot {
       display: none;
       background-color: white;