diff options
-rw-r--r-- | hg.css | 49 |
1 files changed, 49 insertions, 0 deletions
@@ -395,6 +395,55 @@ canvas { .terminal-overlay { background: #c0c0c0; } + + .terminal-content { + padding: 4px; + } + + #terminal-output { + margin-bottom: 8px; + font-size: 11px; + padding: 4px 6px; + } + + .terminal-line { + font-size: 11px; + line-height: 1.2; + margin-bottom: 1px; + } + + .terminal-input-line { + padding: 3px 6px; + min-height: 20px; + border: 2px inset #c0c0c0; + background: #c0c0c0; + } + + .terminal-prompt { + font-size: 11px; + margin-right: 4px; + } + + .terminal-input { + font-size: 11px; + line-height: 1.2; + } + + .terminal-header { + min-height: 20px; + padding: 2px 0; + } + + .terminal-title { + font-size: 12px; + } + + .terminal-close { + width: 20px; + height: 18px; + font-size: 12px; + line-height: 16px; + } } .terminal-header { |