From 706f471028ba92cbc03d9987941f7bc7c6f7573b Mon Sep 17 00:00:00 2001 From: tianfenghan Date: Thu, 28 Dec 2023 14:32:50 +0800 Subject: [PATCH] update 2 --- web/include/lang.php | 2 +- web/public/index.php | 25 +++++++++++++++++++------ web/public/static/css/style.css | 12 ------------ 3 files changed, 20 insertions(+), 19 deletions(-) diff --git a/web/include/lang.php b/web/include/lang.php index 1cb27f26..1aae52b1 100644 --- a/web/include/lang.php +++ b/web/include/lang.php @@ -1,4 +1,4 @@ - diff --git a/web/public/index.php b/web/public/index.php index 1e95ba71..c9e61c0f 100644 --- a/web/public/index.php +++ b/web/public/index.php @@ -4,6 +4,20 @@ Convert Python code to PHP + @@ -20,19 +34,18 @@ define('ROOT_PATH', dirname(__DIR__)); ?>

+ 编程语言: + 风格: 字体: 字体尺寸: - - 编程语言: - + 行高 (%): - +

-
@@ -114,7 +127,7 @@ define('ROOT_PATH', dirname(__DIR__)); } function updateLang() { - document.getElementById("codeBlock").className = $("#selectLanguage").val() + document.getElementById("codeBlock").className = $("#selectLanguage").val() highlightJS() } diff --git a/web/public/static/css/style.css b/web/public/static/css/style.css index 37483a23..c01c0a7a 100644 --- a/web/public/static/css/style.css +++ b/web/public/static/css/style.css @@ -1,19 +1,7 @@ -@import url('https://fonts.googleapis.com/css2?family=Roboto+Mono:wght@400&display=swap'); - select { height: 24px; } -#preCode code, -textarea, -#lineNumbers, -.lineNumbers { - font-family: "Roboto Mono", monospace; - font-weight: 400; - font-size: 12pt; - line-height: 150%; -} - #divCodeWrapper { height: calc(100vh - 200px); max-height: 800px;