From 135eac5aeabadd5c1a08a54b388398e520cbd767 Mon Sep 17 00:00:00 2001 From: Alexey Milovidov Date: Sun, 3 Oct 2021 09:08:01 +0300 Subject: [PATCH] Add logo --- programs/server/play.html | 42 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) diff --git a/programs/server/play.html b/programs/server/play.html index 8fb32efe98e..db621ea3a97 100644 --- a/programs/server/play.html +++ b/programs/server/play.html @@ -45,6 +45,8 @@ --table-hover-color: #FFF8EF; --null-color: #A88; --link-color: #06D; + --logo-color: #CEE; + --logo-color-active: #BDD; } [data-theme="dark"] { @@ -63,6 +65,8 @@ --table-hover-color: #003333; --null-color: #A88; --link-color: #4BDAF7; + --logo-color: #222; + --logo-color-active: #333; } html, body @@ -311,6 +315,22 @@ { fill: var(--text-color); } + + #logo + { + fill: var(--logo-color); + } + + #logo:hover + { + fill: var(--logo-color-active); + } + + #logo-container + { + text-align: center; + margin-top: 5em; + } @@ -336,6 +356,25 @@

+

+ + + +