1
0
forked from GitHub/gf-core

Syntax editor: select subset of available languages

Also added a basic readme file with a list of todo's
This commit is contained in:
john.j.camilleri
2012-11-16 09:33:55 +00:00
parent 19f5112b9f
commit cb92b80aba
4 changed files with 67 additions and 8 deletions

View File

@@ -2,6 +2,18 @@ body {
background: #ccc url("http://cloud.grammaticalframework.org/minibar/brushed-metal.png");
}
.hidden
{
display:none;
}
select#to_menu
{
height: 10em;
position: absolute;
min-width: 5em;
}
#tree
{
white-space:pre;