* {
    font-family: Inconsolata, Lucida Console, Andale Mono, Monaco;
    font-size: 14px;
}

promptTextEdit {
    color: rgb(117, 133, 140);
}

promptTextEdit:!enabled {
    color: rgba(0, 0, 0, 0.5);
}

promptGutterLabel {
    color: rgba(117, 133, 140);
}

promptGutterLabel:!enabled {
    color: rgba(0, 0, 0, 0.5);
}