.themeEditorButton {
    position: absolute;
    top: 5px;
    right: 20px;
    background: #ddd;
    color: #333;
    padding: 2px 5px;
    font-family: sans-serif;
    font-size: 11px;
    cursor: pointer;    
    -webkit-border-radius: 3px;
    -moz-border-radius: 3px;
}

.ThemeEditor {
    font-size: 11px;
    border: 2px solid #777;
    -webkit-border-radius: 4px;
    -moz-border-radius: 4px;
    padding: 5px;
    background-color: #fff;
    overflow-y: auto;
    position: absolute;
    top: 22px;
    right: 25px;
}

.ThemeEditor .attribute .value:hover {
    background-color: #e6e6e6;
    cursor: pointer;
}

.themeEditorButton {
    position: absolute;
    top: 5px;
    right: 20px;
    background: #ddd;
    color: #333;
    padding: 2px 5px;
    font-family: sans-serif;
    font-size: 11px;
    cursor: pointer;    
    -webkit-border-radius: 3px;
    -moz-border-radius: 3px;
}

.ThemeEditor {
    font-size: 11px;
    border: 2px solid #777;
    -webkit-border-radius: 4px;
    -moz-border-radius: 4px;
    padding: 5px;
    background-color: #fff;
    overflow-y: auto;
    position: absolute;
    top: 22px;
    right: 25px;
	font-family: monospace;
}

.ThemeEditor .attribute .value:hover {
    background-color: #e6e6e6;
    cursor: pointer;
}
Make the theme editor attributes and values monospace
Make the theme editor attributes and values monospace
