.CodeMirror {height: auto; line-height:30px;}

.PrettyPill {
    border-radius: 12px;
    padding-left: 3px;
    padding-right: 3px;
    padding-top: 5px;
    padding-bottom: 5px;
}

.PrettyPillLeftSide {
    border-top-left-radius: 12px;
    border-bottom-left-radius: 12px;
    padding-left: 5px;
    padding-right: 5px;
    padding-top: 2px;
    padding-bottom: 2px;
}

.PrettyPillLeftSideIcon {
    position: relative;
    top: 3px;
    width: 16px;
    height: 16px;
}

.PrettyPillLeftSideText {
    position: relative;
    padding-left: 5px;
}

.PrettyPillLeftSideIcon {
    position: relative;
    top: 4px;
    padding-left: 5px;
    width: 16px;
    height: 16px;
}

.PrettyPillRightSideText {
    position: relative;
    padding-left: 5px;
    padding-right: 5px;
}