diff options
| author | hallgren <hallgren@chalmers.se> | 2011-03-28 14:46:15 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-03-28 14:46:15 +0000 |
| commit | 06a29cb5733b5523d6102eabe9578460d64d32d1 (patch) | |
| tree | b9ebbc7d5b8bbd071cd3144af6ad1891b7340cd8 /src/editor | |
| parent | 17f3b456ce77369666c4e5de5aefbfb2ee961423 (diff) | |
gfse: added an alternate style sheet with the MOLTO color scheme
Diffstat (limited to 'src/editor')
| -rw-r--r-- | src/editor/simple/about.html | 5 | ||||
| -rw-r--r-- | src/editor/simple/index.html | 5 | ||||
| -rw-r--r-- | src/editor/simple/molto.css | 82 |
3 files changed, 88 insertions, 4 deletions
diff --git a/src/editor/simple/about.html b/src/editor/simple/about.html index 5e6b17c98..5c9f88879 100644 --- a/src/editor/simple/about.html +++ b/src/editor/simple/about.html @@ -2,7 +2,8 @@ <html> <head> <title>About: GF online editor for simple multilingual grammars</title> -<link rel=stylesheet href="editor.css"> +<link rel="stylesheet" type="text/css" href="editor.css" title="Cloud"> +<link rel="alternate stylesheet" type="text/css" href="molto.css" title="MOLTO"> <link rel=author href="http://www.cse.chalmers.se/~hallgren/" title="Thomas Hallgren"> @@ -179,7 +180,7 @@ to be accessed from multiple devices. <hr> <div class=modtime><small> -<!-- hhmts start --> Last modified: Wed Mar 9 12:09:09 CET 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Mon Mar 28 16:24:24 CEST 2011 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> diff --git a/src/editor/simple/index.html b/src/editor/simple/index.html index 952440e71..d325985c3 100644 --- a/src/editor/simple/index.html +++ b/src/editor/simple/index.html @@ -2,7 +2,8 @@ <html manifest="gfse.manifest"> <head> <title>GF online editor for simple multilingual grammars</title> -<link rel=stylesheet href="editor.css"> +<link rel="stylesheet" type="text/css" href="editor.css" title="Cloud"> +<link rel="alternate stylesheet" type="text/css" href="molto.css" title="MOLTO"> <link rel=author href="http://www.cse.chalmers.se/~hallgren/" title="Thomas Hallgren"> @@ -31,7 +32,7 @@ This page does not work without JavaScript. <hr> <div class=modtime><small> HTML -<!-- hhmts start --> Last modified: Thu Feb 17 17:45:54 CET 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Mon Mar 28 16:45:53 CEST 2011 <!-- hhmts end --> </small></div> <a href="about.html">About</a> <script type="text/javascript" src="support.js"></script> diff --git a/src/editor/simple/molto.css b/src/editor/simple/molto.css new file mode 100644 index 000000000..052dda431 --- /dev/null +++ b/src/editor/simple/molto.css @@ -0,0 +1,82 @@ +body { color: #413b36; + background: #fffcfa; + } +h1 { font-size: 175%; } +h1,h2,h3,h4,small { font-family: sans-serif; } +h1,h2,h3,h4,a { color: #5c1a1a; } + +h1:first-child, h2:first-child { margin-top: 0; margin-bottom: 1ex; } + +#editor { max-width: 50em; } +div.grammar { border: 2px solid #b09779; background: #642121; } +div.files { margin: 0 8px 8px 8px; } + +div#file { border: 2px solid #b0977d; border-top-width: 0; } +pre.plain { border: 2px solid #b0977d; } +div#file, pre.plain { background: #fffcfa; padding: 0.6ex; } + +.slideshow .hidden { display: none; } + +img.right, div.right, div.modtime { float: right; } +.modtime { color: #999; white-space: nowrap; } + +/*div.namebar { background: #642121; }*/ +div.namebar table { width: 100%; } +.namebar h3 { margin: 0; color: white; } + +td.right { text-align: right; } + +.kw { font-weight: bold; font-family: sans-serif; color: #642121; } +.sep { font-weight: bold; color: #642121; } + +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; } + +.hover .more, .hover .delete, .hover .edit { visibility: hidden } + +.hover .hidden, .nohover .ifhover { display: none; } + +.editable:hover, .deletable:hover { background: #ff9; } +.namebar .editable:hover { background: #04b; } + +.extensible:hover .more,.editable:hover > .edit ,.deletable:hover > .delete + { visibility: visible; } + +.more { color: green; } +.edit { color: orange; } +.delete { color: red; } +.error_message,.inError { color: red; } +.template, .template .sep { color: #999; } +form { display: inline-block; } + +table.tabs { + width: 100%; + border-width: 0; border-spacing: 0; empty-cells: show; +} + +table.tabs td { text-align: center; border: 2px solid #b09779; padding: 2px; } +table.tabs td.active { background: white; border-bottom-width: 0; } +table.tabs td.inactive { + background: #e1e1e1; + border-top-color: #b09779; border-left-color: #b09779; border-right-color: #b09779; +} + + table.tabs td.gap +{ border-top-width: 0; border-left-width: 0; border-right-width: 0; } + +table.tabs input[type=button] { + border: 0; + background: inherit; + color: #642121; + font-size: inherit; + font-weight: bold; + /*text-decoration: underline;*/ +} + +input.string_edit { font-family: inherit; font-size: inherit; }
\ No newline at end of file |