diff options
Diffstat (limited to 'css')
-rw-r--r-- | css/codemirror/codemirror.css (renamed from css/lib/codemirror.css) | 0 | ||||
-rw-r--r-- | css/codemirror/show-hint.css | 38 | ||||
-rw-r--r-- | css/jquery/jquery.terminal.css (renamed from css/lib/jquery.terminal.css) | 0 |
3 files changed, 38 insertions, 0 deletions
diff --git a/css/lib/codemirror.css b/css/codemirror/codemirror.css index b313b61..b313b61 100644 --- a/css/lib/codemirror.css +++ b/css/codemirror/codemirror.css diff --git a/css/codemirror/show-hint.css b/css/codemirror/show-hint.css new file mode 100644 index 0000000..924e638 --- /dev/null +++ b/css/codemirror/show-hint.css @@ -0,0 +1,38 @@ +.CodeMirror-hints { + position: absolute; + z-index: 10; + overflow: hidden; + list-style: none; + + margin: 0; + padding: 2px; + + -webkit-box-shadow: 2px 3px 5px rgba(0,0,0,.2); + -moz-box-shadow: 2px 3px 5px rgba(0,0,0,.2); + box-shadow: 2px 3px 5px rgba(0,0,0,.2); + border-radius: 3px; + border: 1px solid silver; + + background: white; + font-size: 90%; + font-family: monospace; + + max-height: 20em; + overflow-y: auto; +} + +.CodeMirror-hint { + margin: 0; + padding: 0 4px; + border-radius: 2px; + max-width: 19em; + overflow: hidden; + white-space: pre; + color: black; + cursor: pointer; +} + +li.CodeMirror-hint-active { + background: #08f; + color: white; +} diff --git a/css/lib/jquery.terminal.css b/css/jquery/jquery.terminal.css index 5b765c4..5b765c4 100644 --- a/css/lib/jquery.terminal.css +++ b/css/jquery/jquery.terminal.css |