.cm-s-prolog span.cm-number	       {color: #000;}
.cm-s-prolog span.cm-neg-number	       {color: #000;}
.cm-s-prolog span.cm-rational	       {color: #48b;}
.cm-s-prolog span.cm-atom	       {color: #730;}
.cm-s-prolog span.cm-uatom	       {color: #730;}
.cm-s-prolog span.cm-qatom	       {color: #008; white-space: pre;}
.cm-s-prolog span.cm-string	       {color: #008; font-style: italic;}
.cm-s-prolog span.cm-string_terminal   {color: #008; font-style: italic;}
.cm-s-prolog span.cm-bqstring	       {color: #040; font-style: italic;}
.cm-s-prolog span.cm-codes	       {color: #040; font-style: italic;}
.cm-s-prolog span.cm-chars	       {color: #040; font-style: italic;}
.cm-s-prolog span.cm-functor	       {color: #000; font-style: italic;}
.cm-s-prolog span.cm-tag	       {color: #000; font-weight: bold;}
.cm-s-prolog span.cm-key	       {color: #000; font-weight: bold;}
.cm-s-prolog span.cm-ext_quant	       {color: #000; font-weight: bold;}
.cm-s-prolog span.cm-qq_content        {color: #900;}
.cm-s-prolog span.cm-qq_open,
.cm-s-prolog span.cm-qq_sep,
.cm-s-prolog span.cm-qq_close          {color: blue; font-weight: bold;}
.cm-s-prolog span.cm-qq_type           {font-weight: bold;
					color: #000 !important;}
.cm-s-prolog span.cm-comment	       {color: #060; font-style: italic; line-height: 1em;}
.cm-s-prolog span.cm-comment_string    {color: #060; font-style: italic; line-height: 1em;}
.cm-s-prolog span.cm-var	       {color: #800;} /* Normal variable */
.cm-s-prolog span.cm-var-2	       {color: #888;} /* _Var */
.cm-s-prolog span.cm-anon	       {color: #800;} /* _ */
.cm-s-prolog span.cm-singleton	       {color: #800; font-weight: bold;}
.cm-s-prolog span.cm-singleton	       {color: #800; font-weight: bold;}
.cm-s-prolog span.cm-current_var       {background: #bff;
					text-decoration: underline;}
.cm-s-prolog span.cm-identifier	       {font-weight: bold;
					color: black !important;}
.cm-s-prolog span.cm-keyword	       {font-weight: bold;;
					color: black !important;}
.cm-s-prolog span.cm-decl_option       {font-weight: bold;
					color: black !important;}
.cm-s-prolog span.cm-module	       {color: #549;}
.cm-s-prolog span.cm-constraint        {color: #008b8b;} /*dark-cyan*/
.cm-s-prolog span.cm-head_exported     {color: blue; font-weight: bold;
					font-style: normal !important;}
.cm-s-prolog span.cm-head_unreferenced {color: red; font-weight: bold;}
.cm-s-prolog span.cm-head_built_in     {background: orange; font-weight: bold;}
.cm-s-prolog span.cm-head_iso          {background: orange; font-weight: bold;}
.cm-s-prolog span.cm-head_hook         {color: blue;
					text-decoration: underline;}
.cm-s-prolog span.cm-head_extern       {color: blue; font-weight: bold;}
.cm-s-prolog span.cm-head_public       {color: #016300; font-weight: bold;
					font-style: normal !important;}
.cm-s-prolog span.cm-head_constraint   {color: #008b8b; font-weight: bold;}
.cm-s-prolog span.cm-head_multifile    {color: #008; font-weight: bold;
					font-style: normal !important;}
.cm-s-prolog span.cm-head	       {font-weight: bold;
					font-style: normal !important;
					color: #000 !important;
				       }
.cm-s-prolog span.cm-goal_local        {font-style: normal !important;
					color: #000 !important;
				       }
.cm-s-prolog span.cm-goal_built_in     {color: blue;
					font-style: normal !important;}
.cm-s-prolog span.cm-goal_imported     {color: blue;
					font-style: normal !important;}
.cm-s-prolog span.cm-goal_global       {color: #008 !important; /*navy blue*/
					font-style: normal !important;}
.cm-s-prolog span.cm-goal_autoload     {color: #008;
					font-style: normal !important;}
.cm-s-prolog span.cm-goal_undefined    {color: red;
					font-style: normal !important;}
.cm-s-prolog span.cm-goal_not_callable {background-color: orange;
					font-style: normal !important;}
.cm-s-prolog span.cm-goal_dynamic      {color: #f0f;
					font-style: normal !important;} /*magenta*/
.cm-s-prolog span.cm-goal_thread_local {color: #f0f; text-decoration: underline;}
.cm-s-prolog span.cm-goal_foreign      {color: #00ced1;} /*dark-turquoise*/
.cm-s-prolog span.cm-goal_constraint   {color: #008b8b;} /*dark-cyan*/
.cm-s-prolog span.cm-goal_recursion    {text-decoration: underline;}
.cm-s-prolog span.cm-goal_multifile    {color: #008 !important;
					font-style: normal !important;}
.cm-s-prolog span.cm-rule_condition    {background-color: #d4ffe3;}
.cm-s-prolog span.cm-meta	       {color: blue;}
.cm-s-prolog span.cm-op_type	       {color: blue;}
.cm-s-prolog span.cm-file_no_depends   {color: blue; text-decoration: underline; background: #fcd}
.cm-s-prolog span.cm-file	       {color: blue;
					text-decoration: underline;
					font-style: normal !important;}
.cm-s-prolog span.cm-nofile	       {color: red;
					font-style: normal !important;}
.cm-s-prolog span.cm-function	       {color: blue !important;
					font-style: normal !important;}
.cm-s-prolog span.cm-no_function       {color: red !important;;
					font-style: normal !important}
.cm-s-prolog span.cm-option_name       {color: #3434ba;}
.cm-s-prolog span.cm-no_option_name    {color: red;}
.cm-s-prolog span.cm-flag_name         {color: blue;}
.cm-s-prolog span.cm-no_flag_name      {color: red;}
.cm-s-prolog span.cm-error             {border-bottom: 2px dotted #f00; }
.cm-s-prolog span.cm-instantiation_error {border-bottom: 2px dotted #f00; }
.cm-s-prolog span.cm-syntax_error      {background-color: orange; }
/* Only on FF :(
.cm-s-prolog span.cm-instantiation_error {text-decoration: underline wavy red; }
*/
.cm-s-prolog span.cm-link	       {color: #730;}
.cm-s-prolog span.cm-expanded	       {color: blue; text-decoration: underline;}
.cm-s-prolog span.cm-undefined_import  {color: red;}
.cm-s-prolog span.cm-unused_import     {color: blue; background: pink; }
/* xpce */
.cm-s-prolog span.cm-xpce_method         {font-weight: bold;}
.cm-s-prolog span.cm-xpce_class_built_in {color: blue;}
.cm-s-prolog span.cm-xpce_class_lib      {color: blue; font-style: italic;}
.cm-s-prolog span.cm-xpce_class_user     {color: #000; font-style: italic;}
.cm-s-prolog span.cm-xpce_class_undef    {color: #000; font-style: italic;}
/* debug synchronization */
.cm-s-prolog span.cm-outofsync         {border: 1px dotted red;}

/* library(http/html_write) */
.cm-s-prolog span.cm-html		       {color: #909; font-weight: bold;}
.cm-s-prolog span.cm-entity		       {color: #909;}
.cm-s-prolog span.cm-html_attribute	       {color: #909;}
.cm-s-prolog span.cm-sgml_attr_function	       {color: blue;}
.cm-s-prolog span.cm-http_location_for_id      {font-weight: bold;}
.cm-s-prolog span.cm-http_no_location_for_id   {color: red; font-weight: bold;}
.cm-s-prolog span.cm-format_string             {color: #909; font-style: italic;}

/* tabling */
.cm-s-prolog span.cm-table_mode        {font-weight: bold;}
.cm-s-prolog span.cm-table_option      {font-weight: bold;}

/* Other elements */
.cm-jumped {background: yellow;}


/* FORÇAGE INPUT - CodeMirror */
.CodeMirror, .cm-editor, .cm-content, .cm-line {
    font-size: 16px !important;
    font-family: 'Monaco', 'Menlo', monospace !important;
}

/* Cibler spécifiquement la zone d'édition */
#left .CodeMirror, #left .cm-editor {
    font-size: 16px !important;
}