fix: 플레이그라운드 에디터 글꼴 축소 (0.88rem → 0.78rem)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: civilian7

docs/en/playground.md

@@ -53,7 +53,7 @@ Run SQL queries directly in your browser. No server connection needed.
 .pg-shortcut { font-size: 0.72rem; color: var(--md-default-fg-color--light, #999); }
 
 #pg-editor-wrap { border: 1px solid var(--md-default-fg-color--lightest, #ddd); border-top: none; }
-#pg-editor-wrap .CodeMirror { height: 200px; font-size: 0.88rem; }
+#pg-editor-wrap .CodeMirror { height: 200px; font-size: 0.78rem; }
 #pg-editor-wrap .CodeMirror-vscrollbar { display: block !important; }
 #pg-editor-wrap .CodeMirror-scroll { overflow-y: scroll !important; }
 

docs/ko/playground.md

@@ -58,7 +58,7 @@
 /* Editor */
 #pg-editor-wrap { border: 1px solid var(--md-default-fg-color--lightest, #ddd); border-top: none; }
 #pg-editor-wrap .CodeMirror {
-  height: 200px; font-size: 0.88rem;
+  height: 200px; font-size: 0.78rem;
 }
 #pg-editor-wrap .CodeMirror-vscrollbar { display: block !important; }
 #pg-editor-wrap .CodeMirror-scroll { overflow-y: scroll !important; }