/**
 * Author: Potent Plugins
 * License: GNU General Public License version 2 or later
 * License URI: http://www.gnu.org/licenses/old-licenses/gpl-2.0.en.html
 */
#hm_custom_css_js_revisions {
	margin-top: 5px;
}
#hm_custom_css_js_revisions li {
	white-space: nowrap;
}
#hm_custom_css_js_revisions .active a.view-rev {
	font-weight: bold;
}
#pp_custom_css_js_dev_info {
	background-color: #fff; padding: 10px; margin-bottom: 20px;
}
#pp_custom_css_js_dev_info li strong {
	color: #f00000;
}
#hm_custom_code_editor .CodeMirror-matchingbracket {
	color: #f00;
	font-weight: bold;
	background-color: #ccc;
}