gfse: minor documentation and style improvements

2026-04-17 16:59:34 -06:00 · 2011-02-28 12:41:05 +00:00
parent e455f86608
commit fc1471717c
2 changed files with 5 additions and 1 deletions
--- a/src/editor/simple/editor.css
+++ b/src/editor/simple/editor.css
@@ -27,6 +27,8 @@ td.right { text-align: right; }

 div.indent { padding-left: 1em; min-width: 1em; min-height: 1em; }

+div.fun, div.param, div.lincat, div.oper, div.lin
+{ padding-left: 2em; text-indent: -2em; }

 .more, .delete { font-weight: bold; font-family: sans-serif; }
 .more, .delete, .edit { cursor: pointer; }