/********************************************************************
* Customized options for JADE editor
*
*/

/** The following is a list of all 'style's that will appear in the editors
 * 'Style' select box.  All options must begin with a '.jadeStyleOption#_' string,
 * where # is a unique character (the order in the select box depends on the order
 * written here, not the lexigraphical order of '#').
 * The remaining part of the selector is shown to the user after replacing \\x with %
 * and passing through the javascript unescape() function.
 * The value of content is the style applied.  This must be defined in the style sheet.
 */
.jadeStyleOptionA_Blue {
	content: editorBlue;
}
.jadeStyleOptionB_Grey {
	content: editorGrey;
}
.jadeStyleOptionC_Emphasis {
	content: editorEmphasis;
}