-/* From: $GCLI/mozilla/gcli/ui/gcliterm.css */
-
-/* Bug 678152 calls for UX review which will fix the color names */
-
-.gcliterm-input-node,
-.gcliterm-complete-node {
- border: none;
- -moz-appearance: none;
- height: 100%;
- vertical-align: middle;
- background-color: transparent;
-}
-
-.gcliterm-input-node {
- padding-top: 2px;
- padding-bottom: 0;
- -moz-padding-start: 16px;
- -moz-padding-end: 0;
-}
-
-.gcliterm-complete-node {
- color: #E7ADE7;
- padding-top: 4px;
- padding-bottom: 2px;
- -moz-padding-start: 21px;
- -moz-padding-end: 4px;
-}
-
-.gcliterm-stack-node {
- background: url("chrome://global/skin/icons/commandline.png") 4px center no-repeat;
- width: 100%;
-}
-
-.gcliterm-argfetcher {
- display: -moz-box;
- -moz-box-flex: 1;
-}
-
-.gcliterm-hint-node {
- border-top: 1px solid #9C9CFF;
- border-bottom: 1px solid #E7ADE7;
- border-left: 1px solid #9C9CFF;
- border-right: 1px solid #9C9CFF;
- border-top-right-radius: 5px;
- border-top-left-radius: 5px;
- margin-bottom: -1px;
-}
-
-.gcliterm-hint-parent {
- width: 300px;
- padding: 10px 10px 0;
- border-top: 1px solid #9C9CFF;
- border-bottom: 1px solid #9C9CFF;
-}
-
-.gcliterm-menu {
- display: -moz-box;
- -moz-box-flex: 1;
- border-bottom-color: #E7ADE7;
-}
-
-.gcliterm-hint-scroll {
- overflow-y: scroll;
- border-bottom-color: #9C9CFF;
-}
-
-.gcliterm-hint-nospace {
- display: none;
-}
-
-.gcliterm-msg-body {
- margin-top: 0;
- margin-bottom: 3px;
- -moz-margin-start: 3px;
- -moz-margin-end: 6px;
- list-style-image: none;
-}
-
-/* Extract from display.css, we only want these 2 rules */
-
-.gcli-out-shortcut {
- border: 1px solid #8050B0;
- border-radius: 3px;
- padding: 0 4px;
- margin: 0 4px;
- font-size: 70%;