diff options
| author | krasimir <krasimir@chalmers.se> | 2009-12-13 18:50:29 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-12-13 18:50:29 +0000 |
| commit | f85232947e74ee7ef8c7b0ad2338212e7e68f1be (patch) | |
| tree | 667b886a5e3a4b026a63d4e3597f32497d824761 /src/runtime/javascript/translator.css | |
| parent | d88a865faff59c98fc91556ff8700b10ee5f2df8 (diff) | |
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
Diffstat (limited to 'src/runtime/javascript/translator.css')
| -rw-r--r-- | src/runtime/javascript/translator.css | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/src/runtime/javascript/translator.css b/src/runtime/javascript/translator.css new file mode 100644 index 000000000..f7f771927 --- /dev/null +++ b/src/runtime/javascript/translator.css @@ -0,0 +1,54 @@ +body { + color: black; + background-color: white; +} + +dl { + +} + +dt { + margin: 0; + padding: 0; +} + +dl dd { + margin: 0; + padding: 0; +} + +dl.fromLang dt { + display: none; +} + +dl.toLang { + border-width: 1px 0 0 0; + border-style: solid; + border-color: #c0c0c0; +} + +dl.toLang dt { + color: #c0c0c0; + display: block; + float: left; + width: 5em; +} + + +dl.toLang dd { + border-width: 0 0 1px 0; + border-style: solid; + border-color: #c0c0c0; +} + + +ul { + margin: 0; + padding: 0; +} + +li { + list-style-type: none; + margin: 0; + padding: 0; +}
\ No newline at end of file |
