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 { | 
