terminal-recorder/terminal-recorder-html/css/styles.css

Record your terminal session into HTML. Terminal Recorder allows you to record your bash session, and export it to html so then you can share it with your friends.

html {
    background: #000;
}

span.terminal-cursor {
    width: 10px;
    background-color: #f0f0f0;
}

.terminal {
  border: #000 solid 5px;
  font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
  font-size: 14px;
  color: #f0f0f0;
  background: #000;
}

#controls {
    margin: 0;
    padding: 0;
}

#controls li.ui-state-default {
    margin: 2px;
    position: relative;
    cursor: pointer;
    float: left;
    list-style: none;
}

#controls li.slide-con {
    width: 580px;
    float: left;
    padding: 10px 0 10px 14px;
}

#controls li.slide-con .ui-slider-horizontal {
    height: 8px;
}

#controls li.slide-con .ui-slider-horizontal .ui-slider-handle {
    border-radius: 100px;
    top: -8px;
}


#controls a.ui-icon {
    float: left;
    margin: 4px;
}