GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-14 23:39:32 -06:00
Code Issues Packages Projects Releases Wiki Activity

gfse: minor layout/formatting variation

Browse Source
This commit is contained in:
hallgren
2011-03-06 10:19:17 +00:00
parent 54feac5d26
commit 2c6c85974e
3 changed files with 14 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/editor/simple/editor.css
View File

@@ -27,9 +27,10 @@ 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; }
@@ -71,4 +72,6 @@ table.tabs input[type=button] {
font-size: inherit;
font-weight: bold;
/*text-decoration: underline;*/
}
}
input.string_edit { font-family: inherit; font-size: inherit; }