From b5d809ec86351eaa29f34e9167d9e22617a67a4d Mon Sep 17 00:00:00 2001 From: Murilo Polese Date: Wed, 10 Apr 2024 14:18:38 +0200 Subject: [PATCH 1/3] Style CodeMirror's search panel --- ui/arduino/main.css | 55 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 55 insertions(+) diff --git a/ui/arduino/main.css b/ui/arduino/main.css index 2ca4958..d3a9f50 100644 --- a/ui/arduino/main.css +++ b/ui/arduino/main.css @@ -570,3 +570,58 @@ button.small .icon { font-size: inherit; outline-color: #F4BA00; } + +#code-editor .cm-panels { + border-color: #DAE3E3; + padding: 0 10px; + margin: 0; +} +#code-editor .cm-panels .cm-search { + display: flex; + align-items: center; + height: 45px; + padding: 0; + background: #ECF1F1; + gap: 10px; +} +#code-editor .cm-panels label { + display: none; +} +#code-editor .cm-panels input, +#code-editor .cm-panels button { + height: 28px; + margin: 0; + padding: 0; + width: auto; +} +#code-editor .cm-panels button { + border: none; + border-radius: none; + font-family: inherit; + background: none; +} +#code-editor .cm-panels input { + box-sizing: border-box; + padding: 0 10px; + border: none; + border-radius: 0 !important; + width: 100%; + background: rgba(255, 255, 255, 1.0); + font-family: inherit; + font-size: 14px; + outline-style: none; + /* outline-color: #F4BA00; */ +} +#code-editor .cm-panels input:focus { + outline-style: solid; + outline-color: #F4BA00; + +} +#code-editor .cm-panels [name="replace"], +#code-editor .cm-panels [name="replace"], +#code-editor .cm-panels [name="replaceAll"] { + display: none; +} +#code-editor .cm-panel.cm-search [name="close"] { + position: relative; +} From 196904cb6fd9fbfa66bf2c238b1b057533abd331 Mon Sep 17 00:00:00 2001 From: Murilo Polese Date: Wed, 10 Apr 2024 14:20:10 +0200 Subject: [PATCH 2/3] Remove `!important` --- ui/arduino/main.css | 1 - 1 file changed, 1 deletion(-) diff --git a/ui/arduino/main.css b/ui/arduino/main.css index d3a9f50..d764172 100644 --- a/ui/arduino/main.css +++ b/ui/arduino/main.css @@ -604,7 +604,6 @@ button.small .icon { box-sizing: border-box; padding: 0 10px; border: none; - border-radius: 0 !important; width: 100%; background: rgba(255, 255, 255, 1.0); font-family: inherit; From 0dab66ac50c69903c1da453de28f628a6d36ec63 Mon Sep 17 00:00:00 2001 From: Murilo Polese Date: Wed, 10 Apr 2024 14:21:24 +0200 Subject: [PATCH 3/3] Remove unused style rule --- ui/arduino/main.css | 1 - 1 file changed, 1 deletion(-) diff --git a/ui/arduino/main.css b/ui/arduino/main.css index d764172..08046ab 100644 --- a/ui/arduino/main.css +++ b/ui/arduino/main.css @@ -609,7 +609,6 @@ button.small .icon { font-family: inherit; font-size: 14px; outline-style: none; - /* outline-color: #F4BA00; */ } #code-editor .cm-panels input:focus { outline-style: solid; pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy