diff --git a/conf/wide.json b/conf/wide.json index 0438a39..886f0da 100644 --- a/conf/wide.json +++ b/conf/wide.json @@ -24,7 +24,7 @@ "Editor": { "FontFamily": "Consolas, 'Courier New', monospace", "FontSize": "13px", - "LineHeight": "19px" + "LineHeight": "17px" }, "LatestSessionContent": { "FileTree": [], diff --git a/static/user/admin/style.css b/static/user/admin/style.css index 01db86f..8d762ad 100644 --- a/static/user/admin/style.css +++ b/static/user/admin/style.css @@ -10,5 +10,5 @@ button { .CodeMirror-hints { font-family: Consolas, 'Courier New', monospace; font-size: 13px; - line-height: 19px; + line-height: 17px; } \ No newline at end of file