Make the editor font identical to non-editable code blocks.

t-doc-org · Sep 6, 2024 · 8f81174 · 8f81174
1 parent d1e37e1
commit 8f81174
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/docs/demo/sql.md b/docs/demo/sql.md
@@ -26,8 +26,8 @@ When set, the `{exec}` block is made editable.
 ```
 ```{rst:directive:option} when: value
 :type: click | load | never
-Determines when the block's code is executed: on a click by the user (`click`),
-when the page loads (`load`) or not at all (`never`).
+Determines when the block's code is executed: on user request (`click`, the
+default), when the page loads (`load`) or not at all (`never`).
 ```
 ````
 

diff --git a/tdoc/common/__init__.py b/tdoc/common/__init__.py
@@ -96,7 +96,6 @@ class Exec(CodeBlock):
     option_spec = CodeBlock.option_spec | {
         'after': directives.unchanged,
         'editable': directives.flag,
-        # TODO: Split :when: into :immediate: and :controls:
         'when': lambda c: directives.choice(c, ('click', 'load', 'never')),
     }
 

diff --git a/tdoc/common/static/styles/t-doc.css b/tdoc/common/static/styles/t-doc.css
@@ -38,6 +38,10 @@ div.tdoc-exec.tdoc-editable div.cm-editor {
 div.tdoc-exec.tdoc-editable div.cm-focused {
     outline: none;
 }
+div.tdoc-exec.tdoc-editable div.cm-editor div.cm-scroller {
+    font-family: var(--pst-font-family-monospace);
+    font-size: .875em;
+}
 
 /* Execution controls */
 div[class*=highlight-].tdoc-exec {