/*--- Define font faces for formatted source code produced by the plugins. */

@font-face {
  font-family: SourceCodeFont;
  src: url('/share/fonts/bitstream-vera/VeraMono.ttf');
}

@font-face {
  font-family: SourceCodeFont;
  src: url('/share/fonts/bitstream-vera/VeraMoBd.ttf');
  font-weight: bold;
}

@font-face {
  font-family: SourceCodeFont;
  src: url('/share/fonts/bitstream-vera/VeraMoIt.ttf');
  font-style: italic;
}

@font-face {
  font-family: SourceCodeFont;
  src: url('/share/fonts/bitstream-vera/VeraMoBI.ttf');
  font-weight: bold;
  font-style: italic;
}


/* Styles used with source related commands. */

code.plg-keyword {
  font-family: SourceCodeFont, 'Courier New', monospace;  
  font-weight: bold;
  font-size: 0.95em;
  color: #006b22; /* #18a303; #d36118;*/
}

code.plg-pythonop {
/*  font-family: 'Courier New', monospace;*/
  font-family: SourceCodeFont;
  font-size: 0.95em;
  letter-spacing: 1px;
}

code.plg-syntax {
  font-family: 'Courier New', monospace;  
  font-size: 1em;
}

code.plg-var {
  font-family: 'Courier New', monospace;  
}

span.plg-param {
  font-style: italic;
}


code.plg-module,
code.plg-package {
  font-family: 'Courier New', monospace;
  font-size: 1em;  
}


code.plg-plugin {
  font-family: 'Courier New', monospace;  
  font-size: 1em;
}

/* Styles used with <syntax> */

div.plg-syntax {
  padding-top: 3px;  
  margin-left: 40px;
  margin: 15px 20px 0px 20px;    
  font-size: 1.0em;  
}

div.plg-syntax pre {
  font-family: 'Courier New', monospace;
  font-size: 1em;
  margin: 0px;
}


/* Styles used with <langsyntax> */

div.plg-langsyntax {
  padding-top: 3px;  
  margin-left: 40px;
  font-size: 1.0em;  
}

div.plg-langsyntax pre {
  font-family: 'Courier New', monospace;
  font-size: 1em;
  margin: 0px;
}

div.plg-langsyntax span.replace {
  font-family: 'Times New Roman', serif;
  font-style: italic;
 /* font-size: 1.0em;*/
  padding-left: 1px;
  padding-right: 1px;
}

div.plg-langsyntax span.annotate {
  font-family: 'Arial', sans-serif;;
  font-size: 0.95em;
  padding-left: 2px;
  padding-right: 2px;
}



/* Styles used with <code></code> */

div.plg-codeblock {
  margin: 15px 20px 0px 20px;  
}

div.plg-codeblock .sourceblock {
  background-color: #F8F8F8;  
  padding-top: 6px;
  padding-bottom: 6px;  
 /* margin: 15px 20px 0px 20px;*/
}

div.plg-codeblock pre {
  font-family: SourceCodeFont, 'Courier New', monospace;  
  /*padding-top: 3px;*/  
  /*padding: 0px 20px 0.5ex 20px;*/
  font-size: 0.9em;
  margin: 0px;
}

div.plg-codeblock.plain pre {
  font-family: 'Courier New', monospace;
  font-size: 1.0em;
}


div.plg-codeblock.codefont pre {
}

/* --- Not used with the current version <code></code> uses <pre></pre>.
div.plg-codeblock div.sourceblocktext {
  font-family: SourceCodeFont, 'Courier New', monospace;
}

div.plg-codeblock div.sourceblock div.sourceblocktext div {
  font-size: 1em;
  white-space: pre;
}

div.plg-codeblock .sourceblocktext {
  background-color: #F8F8F8;
  padding-top: 3px;
}
*/



/* ------------------------------------------------------------------ 
 * General styles used for source code formatting.
 * ------------------------------------------------------------------ */

.sourceblock {  
  padding: 0px 20px 0.5ex 20px;  
  line-height: 1.4em;
  color: black;
}

.sourceblock {
/*   margin: 15px 20px 0px 20px;*/
}

.sourceblock ol {
  margin-top: 0px;
  margin-bottom: 0px;
}


/* Used with the source environment. The code is enclosed within a div with
   the class name 'plg-source'. */

/*
div.plg-pgmcodex .sourceblock { 
  background-color: #F8F8F8;  
  padding-top: 6px;
  padding-bottom: 6px;
}
  */ 
   
/* Used with the <src> environment. The code is enclosed within a 
   div with the class name 'plg-listing'. */

div.plg-source {
  margin: 15px 20px 15px 20px;  
  margin-top: var(--wiki-par-margin);
  margin-bottom: var(--wiki-par-margin);
}

div.plg-source .sourceblock { 
  background-color: #F8F8F8;  
  padding-top: 6px;
  padding-bottom: 6px;
  
  padding: 6px 20px 6px 10px;  
  font-size: /*0.85em; */ 0.9em;
  line-height: 1.4em;
  color: black;
  
/*  
   margin: 0px;
	 margin-bottom: 5px;
	 padding: 0px; */
	/* border: 1px solid #CCC;
	 border-left: 3px solid #888;
	 */
}
   
div.plg-source .sourceblock {
  padding-left: 10px;
}

div.plg-source .sourceblock ol li {
  padding-left: 1ex;
}

div.plg-source .sourceblock ol li::marker {
  font-size: 0.9em;
  color: #555;
}

div.plg-source .nolinenums .sourceblock {
  padding-left: 20px;
}

div.plg-source .nolinenums .sourceblock ol {
  margin-left: 0px;
  padding-left: 0px;
}

div.plg-source .nolinenums .sourceblock ol li {
  list-style-type: none;
  margin-left: 0px;
  padding-left: 0ex;  /*2ex*/
  border-left: none;  
}
  
   
/* The listing style used with the <src style=listing> environment. */

div.plg-source.listing {
	background-color: white;
	margin-left: 20px;
	margin-right: 20px;
	margin-bottom: 1ex;
	padding: 8px;  
}

div.plg-source.listing .sourceblock {    
  margin: 0px;
	margin-bottom: 5px;
	padding: 0px; 
	border: 1px solid #CCC;
	border-left: 3px solid #888;
}

div.plg-source.listing .sourceblock {
  padding: 0px;
	margin: 0px; 
  line-height: 1.4em;	
}

div.plg-source.listing .sourceblock ol {
  background-color: #f0f0f0;
}

div.plg-source.listing .sourceblock ol li {
  background-color: #F8F8F8;
  border-left: 1px solid #bbb;
  padding-left: 1.0ex;
  margin-left: 1ex; 
}

div.plg-source.listing .sourceblock ol li::marker {
  font-size: 0.9em;
  color: #555;
}

div.plg-source.listing .sourceblock ol li:first-child {
  padding-top: 2px;
}

div.plg-source.listing .sourceblock ol li:last-child {
  padding-bottom: 2px;
}

div.plg-source.listing .sourceblock ol li:nth-child(even) {
  background-color: white;
}

div.plg-source.listing .nolinenums .sourceblock ol {
  margin-left: 0px;
  padding-left: 0px;
}

div.plg-source.listing .nolinenums .sourceblock ol li {
  list-style-type: none;
  margin-left: 0px;
  padding-left: 1.5ex;
  border-left: none;  
}

/* The listing style used with the <src style=plain> environment. */

div.plg-source.plain {
}

div.plg-source.plain .sourceblock {
  color: black;
}

div.plg-source.plain .sourceblock ol li::marker {
  font-size: 0.9em;
  color: #555;
}



/* Used with the <srcfile /> directive. The code is enclosed within a div with
   the class name 'plg-sourcefile'. */   
  
div.plg-sourcefile {
	background-color: white;
	margin-left: 20px;   /*30px*/
	margin-right: 20px;  /*35px*/
	margin-bottom: 1ex;
	padding: 8px;
}

div.plg-sourcefile .sourceblock {
  font-size: 0.9em;  
   margin: 0px;
	 margin-bottom: 5px;
	 padding: 0px;
	 border: 1px solid #DDD;
	 border-left: 3px solid #888;
}

div.plg-sourcefile .sourceblock{
  padding: 8px;
	margin: 0px;
  line-height: 1.4em;	
}

div.plg-sourcefile .sourceblock ol li {
  padding-left: 1ex;
}

div.plg-sourcefile .sourceblock ol li::marker {
  color: #555;
  font-size: 0.9em;  
}

div.plg-sourcefile .nolinenums .sourceblock ol {
  margin-left: 0px;
  padding-left: 0px;
}

div.plg-sourcefile .nolinenums .sourceblock ol li {
  list-style-type: none;
  margin-left: 0px;
  padding-left: 1ex;
  border-left: none;  
}


/* Used with the text caption. */
div.plg-sourcefile .texttab {
  text-align: center;
  background-color: #F0F0F0;
	font-size: 0.9em;  
	padding: 2px;
}

div.plg-sourcefile .toptab {
  text-align: center;
  background-color: #F0F0F0;
	font-size: 0.9em;  
	padding: 2px;
	margin-bottom: 4px;
}


/* The listing style for use with the source file environment - <srcfile style=listing>. */
  
div.plg-sourcefile.listing {
	background-color: white;
	margin-left: 20px;
	margin-right: 20px;
	margin-bottom: 1ex;
	padding: 8px;
}   

div.plg-sourcefile.listing .sourceblock { 
   margin: 0px;
	 margin-bottom: 5px;
	 padding: 0px;
	 border: 1px solid #CCC;
	 border-left: 3px solid #888;
}

div.plg-sourcefile.listing .sourceblock {
  padding: 0px;
	margin: 0px;
  line-height: 1.4em;	
}


div.plg-sourcefile.listing .texttab {
  text-align: center;
  background-color: #F0F0F0;
	font-size: 0.9em;  
	padding: 2px;
}

div.plg-sourcefile.listing .sourceblock ol {
  background-color: #f0f0f0; 
}

div.plg-sourcefile.listing .sourceblock ol li {
  background-color: #F8F8F8;
  padding-left: 1.0ex;
  border-left: 1px solid #bbb;
  margin-left: 1ex; 
}

div.plg-sourcefile.listing .nolinenums .sourceblock ol li {
  margin-left: 0px;
  border-left: none;
  padding-left: 2ex;
}

div.plg-sourcefile.listing .sourceblock ol li::marker {
  font-size: 0.9em;
  color: #555;
}

div.plg-sourcefile.listing .sourceblock ol li:first-child {
  padding-top: 5px;
}

div.plg-sourcefile.listing .sourceblock ol li:last-child {
  padding-bottom: 5px;
}

div.plg-sourcefile.listing .sourceblock ol li:nth-child(even) {
  background-color: white;
}



/* Used with the fancy tab for both the sourcefile and sourcelisting directives. */

div.plg-sourcefile .fancytab {
  display: inline-block;
  background-color: #EEE;
  font-size: 0.8em;
  border-radius: 7px 7px 0px 0px;
  margin-left: 6px;
  padding: 1px;
  padding-left: 1ex;
  padding-right: 1ex;
  min-width: 1.2in;
  border: 1px solid #DDD;
  border-bottom: none;
}

div.plg-sourcefile .fancytab span.label {
  font-weight: bold;
}

div.plg-sourcefile .fancytab .icon {
  display: inline-block;
  width: 18px;
  margin-right: 3px;
  margin-bottom: 2px;
  background-image: url('/share/plugins/source/download.png');
  background-size: 100% 100%;
}

div.plg-sourcefile .fancytab img {
  width: 16px;
  height: 16px;
  padding-bottom: 1px;
}