/* PrismJS 1.26.0
https://prismjs.com/download.html#themes=prism&languages=markup+css+clike+javascript+antlr4+bash+basic+batch+bnf+c+csharp+cpp+clojure+cmake+csv+d+django+docker+ebnf+fsharp+git+glsl+go+graphql+haskell+http+ignore+ini+java+json+json5+jsonp+kotlin+latex+lisp+llvm+lua+makefile+markdown+markup-templating+ocaml+opencl+php+powershell+prolog+protobuf+python+jsx+regex+ruby+rust+scala+scheme+shell-session+sql+swift+typescript+uri+wasm&plugins=file-highlight+remove-initial-line-feed+unescaped-markup */
/**
 * prism.js default theme for JavaScript, CSS and HTML
 * Based on dabblet (http://dabblet.com)
 * @author Lea Verou
 */

code[class*="language-"],
pre[class*="language-"] {
	color: black;
	background: none;
	/*text-shadow: 0 1px white;
	font-family: Consolas, Monaco, 'Andale Mono', 'Ubuntu Mono', monospace;
	font-size: 1em;
	text-align: left;
	white-space: pre;
	word-spacing: normal;
	word-break: normal;
	word-wrap: normal;
	line-height: 1.5;
    */

	-moz-tab-size: 4;
	-o-tab-size: 4;
	tab-size: 4;

	-webkit-hyphens: none;
	-moz-hyphens: none;
	-ms-hyphens: none;
	hyphens: none;
}

pre[class*="language-"]::-moz-selection, pre[class*="language-"] ::-moz-selection,
code[class*="language-"]::-moz-selection, code[class*="language-"] ::-moz-selection {
	text-shadow: none;
	background: #b3d4fc;
}

pre[class*="language-"]::selection, pre[class*="language-"] ::selection,
code[class*="language-"]::selection, code[class*="language-"] ::selection {
	text-shadow: none;
	background: #b3d4fc;
}

@media print {
	code[class*="language-"],
	pre[class*="language-"] {
		text-shadow: none;
	}
}

/* Code blocks */
:not(h1):not(h2):not(h3):not(h4):not(h5):not(h6) > pre[class*="language-"] 
{
    padding: 0.6em;
    overflow: auto;
    /*background: #f5f0dc;*/
}

pre[class*="language-"][data-line] {
    padding: 0.6em;
    overflow-y: hidden;
}

pre[data-line] > code[class*="language-"] {
    display: block;
    position: static;
    font-size: inherit;
    line-height: inherit;
}

pre[data-line] .line-highlight {
    display: block;
    position: absolute;
    left: 0;
    right: auto;
    width: 100% !important;
    max-width: 100%;
    box-sizing: border-box;
    margin-top: 0.48em;
    background: hsla(45, 60%, 50%, 0.075);
}

pre[data-line] .line-highlight:before,
pre[data-line] .line-highlight[data-end]:after {
    content: none;
    display: none;
}

/* Inline code */
:not(pre) > code[class*="language-"] 
{
	padding: .1em;
	white-space: normal;
}

/* Code blocks */
/*
pre[class*="language-"] {
	padding: 1em;
	margin: .5em 0;
	overflow: auto;
}
*/

/*
:not(pre) > code[class*="language-"],
pre[class*="language-"] {
	background: #f5f2f0;
}
*/

/* Inline code */
/*
:not(pre) > code[class*="language-"] {
	padding: .1em;
	border-radius: .3em;
	white-space: normal;
}
*/

.token.keyword { color: #14c; }
.token.comment { color: #080; }
.token.punctuation { color: #aaa; }
.token.operator { color: #336; }

.token.namespace 
{
	opacity: .7;
}
.token.component 
{
	opacity: .7;
}


.token.property,
.token.tag,
.token.boolean,
.token.number,
.token.constant,
.token.symbol,
.token.deleted 
{
    color: #088;
}

/* ///////////////////////////////////// CEDA /////////////////////////////////////// */

.token.xcppmacrokeyword
{
    color: #f40;
}

.token.xcpptype
{
    color: #808;
}

.token.xcppkeyword
{
    color: #a0a;
}

/* //////////////////////////////////// Predica /////////////////////////////////////// */

.token.metadata 
{
    opacity: .8;
    font-style: italic;
    font-size: 0.8em;
}

.token.metadata .token.functor 
{
    color: #070;
}

/*
.token.metadata .token.string 
{
    color: #c67;
}

.token.metadata .token.punctuation 
{
    color: #aaa;
}
*/

.token.aggregate
{
    color: #e08;
}

.token.namespace
{
    color: #666;
}

.token.type
{
    color: #94b;
    /*font-weight: 500;*/
}

.token.attribute
{
  color: #e61;
}

.token.string,
.token.char 
{
    color: #a11;
}


/* //////////////////////////////////// predicalogic /////////////////////////////////////// */

.token.boundvariable
{
  color: #2b4;
}

.token.logicvariable
{
  color: #070;
  font-weight: 500;
}

.token.predicate
{
  color: #e61;
}

/* //////////////////////////////// predicasemantics //////////////////////////////// */

.token.informal
{
  color: #666;
  font-style: italic;
}

/* //////////////////////////////////// Other /////////////////////////////////////// */

.token.prolog,
.token.doctype,
.token.cdata 
{
	color: slategray;
}

.token.selector,
.token.attr-name,
.token.builtin,
.token.inserted 
{
	color: #690;
}

.token.entity,
.token.url,
.language-css .token.string,
.style .token.string 
{
	color: #a74;
}

.token.atrule,
.token.attr-value,
{
    color: #00f;
}

.token.function,
.token.class-name 
{
	color: #e56;
}

.token.regex,
.token.important,
.token.variable 
{
	color: #e90;
}

.token.important,
.token.bold 
{
	font-weight: bold;
}

.token.italic 
{
	font-style: italic;
}

.token.entity 
{
	cursor: help;
}

/* Fallback, in case JS does not run, to ensure the code is at least visible */
[class*='lang-'] script[type='text/plain'],
[class*='language-'] script[type='text/plain'],
script[type='text/plain'][class*='lang-'],
script[type='text/plain'][class*='language-'] {
	display: block;
	font: 100% Consolas, Monaco, monospace;
	white-space: pre;
	overflow: auto;
}

@media (prefers-color-scheme: dark) {

    .token.punctuation {
        color: #ccc;
    }

    /* Base text + background */
    code[class*="language-"],
    pre[class*="language-"] {
        color: #e6e6e6;
        background: #1e1e1e;
        text-shadow: none;
    }

    /* Code block container */
    :not(h1):not(h2):not(h3):not(h4):not(h5):not(h6) > pre[class*="language-"] {
        background: #1e1e1e;
        border: 1px solid #333;
    }

    /* Inline code */
    :not(pre) > code[class*="language-"] {
        background: #2a2a2a;
        color: #f0f0f0;
    }

    /* Selection */
    pre[class*="language-"]::selection,
    code[class*="language-"]::selection {
        background: #355f8c;
    }

    /* Token overrides for dark backgrounds */
    .token.comment      { color: #6a9955; }
    .token.keyword      { color: #569cd6; }
    .token.string,
    .token.char         { color: #ce9178; }
    .token.number       { color: #b5cea8; }
    .token.function     { color: #dcdcaa; }
    .token.type         { color: #c586c0; }
    .token.attribute    { color: #d19a66; }
    .token.operator     { color: #d4d4d4; }
    .token.punctuation  { color: #999; }

    /* Predica-specific tokens */
    .token.metadata             { color: #9cdcfe; opacity: 0.8; }
    .token.metadata .token.functor { color: #4ec9b0; }

    /* CEDA tokens */
    .token.xcppmacrokeyword { color: #ff7b72; }
    .token.xcpptype         { color: #c586c0; }
    .token.xcppkeyword      { color: #d19a66; }
}