Where is the default css code located for syntax highlighting of source code?

Where is the default css code located for syntax highlighting of source code?

[Chris Stryczynski]

[-- Attachment #1.1: Type: text/plain, Size: 3864 bytes --]

Hello! I'm looking for a css file like that would contain the below code. 
Does anyone know where this is located / sourced from?

Essentially this is the CSS that gets inserted when running pandoc 
via: pandoc --from markdown_strict+backtick_code_blocks -s 
compiledArticle.md -o compiled.html

I'm using the pandoc library directory from Haskell, which only provides me 
with the HTML.


  <style type="text/css">
a.sourceLine { display: inline-block; line-height: 1.25; }
a.sourceLine { pointer-events: none; color: inherit; text-decoration: 
inherit; }
a.sourceLine:empty { height: 1.2em; position: absolute; }
.sourceCode { overflow: visible; }
code.sourceCode { white-space: pre; position: relative; }
div.sourceCode { margin: 1em 0; }
pre.sourceCode { margin: 0; }
@media screen {
div.sourceCode { overflow: auto; }
}
@media print {
code.sourceCode { white-space: pre-wrap; }
a.sourceLine { text-indent: -1em; padding-left: 1em; }
}
pre.numberSource a.sourceLine
  { position: relative; }
pre.numberSource a.sourceLine:empty
  { position: absolute; }
pre.numberSource a.sourceLine::before
  { content: attr(data-line-number);
    position: absolute; left: -5em; text-align: right; vertical-align: 
baseline;
    border: none; pointer-events: all;
    -webkit-touch-callout: none; -webkit-user-select: none;
    -khtml-user-select: none; -moz-user-select: none;
    -ms-user-select: none; user-select: none;
    padding: 0 4px; width: 4em;
    color: #aaaaaa;
  }
pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa; 
 padding-left: 4px; }
div.sourceCode
  {  }
@media screen {
a.sourceLine::before { text-decoration: underline; }
}
code span.al { color: #ff0000; font-weight: bold; } /* Alert */
code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* 
Annotation */
code span.at { color: #7d9029; } /* Attribute */
code span.bn { color: #40a070; } /* BaseN */
code span.bu { } /* BuiltIn */
code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
code span.ch { color: #4070a0; } /* Char */
code span.cn { color: #880000; } /* Constant */
code span.co { color: #60a0b0; font-style: italic; } /* Comment */
code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* 
CommentVar */
code span.do { color: #ba2121; font-style: italic; } /* Documentation */
code span.dt { color: #902000; } /* DataType */
code span.dv { color: #40a070; } /* DecVal */
code span.er { color: #ff0000; font-weight: bold; } /* Error */
code span.ex { } /* Extension */
code span.fl { color: #40a070; } /* Float */
code span.fu { color: #06287e; } /* Function */
code span.im { } /* Import */
code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* 
Information */
code span.kw { color: #007020; font-weight: bold; } /* Keyword */
code span.op { color: #666666; } /* Operator */
code span.ot { color: #007020; } /* Other */
code span.pp { color: #bc7a00; } /* Preprocessor */
code span.sc { color: #4070a0; } /* SpecialChar */
code span.ss { color: #bb6688; } /* SpecialString */
code span.st { color: #4070a0; } /* String */
code span.va { color: #19177c; } /* Variable */
code span.vs { color: #4070a0; } /* VerbatimString */
code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* 
Warning */
  </style>

-- 
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/b39cddda-91fa-4114-abaa-6e547d4920e5%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[-- Attachment #1.2: Type: text/html, Size: 41873 bytes --]

Re: Where is the default css code located for syntax highlighting of source code?

[Xing GUO]

[-- Attachment #1: Type: text/plain, Size: 5064 bytes --]

Hi, Chris


I found something maybe useful :)


https://github.com/FStarLang/fstarlang.github.io/blob/master/docs/FStar.Monotonic.DependentMap.html





Regards

Xing

On Mon, Apr 2, 2018, 5:48 AM Chris Stryczynski <
thisismyemailaddressonly-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:

> Hello! I'm looking for a css file like that would contain the below code.
> Does anyone know where this is located / sourced from?
>
> Essentially this is the CSS that gets inserted when running pandoc
> via: pandoc --from markdown_strict+backtick_code_blocks -s
> compiledArticle.md -o compiled.html
>
> I'm using the pandoc library directory from Haskell, which only provides
> me with the HTML.
>
>
>   <style type="text/css">
> a.sourceLine { display: inline-block; line-height: 1.25; }
> a.sourceLine { pointer-events: none; color: inherit; text-decoration:
> inherit; }
> a.sourceLine:empty { height: 1.2em; position: absolute; }
> .sourceCode { overflow: visible; }
> code.sourceCode { white-space: pre; position: relative; }
> div.sourceCode { margin: 1em 0; }
> pre.sourceCode { margin: 0; }
> @media screen {
> div.sourceCode { overflow: auto; }
> }
> @media print {
> code.sourceCode { white-space: pre-wrap; }
> a.sourceLine { text-indent: -1em; padding-left: 1em; }
> }
> pre.numberSource a.sourceLine
>   { position: relative; }
> pre.numberSource a.sourceLine:empty
>   { position: absolute; }
> pre.numberSource a.sourceLine::before
>   { content: attr(data-line-number);
>     position: absolute; left: -5em; text-align: right; vertical-align:
> baseline;
>     border: none; pointer-events: all;
>     -webkit-touch-callout: none; -webkit-user-select: none;
>     -khtml-user-select: none; -moz-user-select: none;
>     -ms-user-select: none; user-select: none;
>     padding: 0 4px; width: 4em;
>     color: #aaaaaa;
>   }
> pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa;
>  padding-left: 4px; }
> div.sourceCode
>   {  }
> @media screen {
> a.sourceLine::before { text-decoration: underline; }
> }
> code span.al { color: #ff0000; font-weight: bold; } /* Alert */
> code span.an { color: #60a0b0; font-weight: bold; font-style: italic; }
> /* Annotation */
> code span.at { color: #7d9029; } /* Attribute */
> code span.bn { color: #40a070; } /* BaseN */
> code span.bu { } /* BuiltIn */
> code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
> code span.ch { color: #4070a0; } /* Char */
> code span.cn { color: #880000; } /* Constant */
> code span.co { color: #60a0b0; font-style: italic; } /* Comment */
> code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; }
> /* CommentVar */
> code span.do { color: #ba2121; font-style: italic; } /* Documentation */
> code span.dt { color: #902000; } /* DataType */
> code span.dv { color: #40a070; } /* DecVal */
> code span.er { color: #ff0000; font-weight: bold; } /* Error */
> code span.ex { } /* Extension */
> code span.fl { color: #40a070; } /* Float */
> code span.fu { color: #06287e; } /* Function */
> code span.im { } /* Import */
> code span.in { color: #60a0b0; font-weight: bold; font-style: italic; }
> /* Information */
> code span.kw { color: #007020; font-weight: bold; } /* Keyword */
> code span.op { color: #666666; } /* Operator */
> code span.ot { color: #007020; } /* Other */
> code span.pp { color: #bc7a00; } /* Preprocessor */
> code span.sc { color: #4070a0; } /* SpecialChar */
> code span.ss { color: #bb6688; } /* SpecialString */
> code span.st { color: #4070a0; } /* String */
> code span.va { color: #19177c; } /* Variable */
> code span.vs { color: #4070a0; } /* VerbatimString */
> code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; }
> /* Warning */
>   </style>
>
> --
> You received this message because you are subscribed to the Google Groups
> "pandoc-discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
> To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/pandoc-discuss/b39cddda-91fa-4114-abaa-6e547d4920e5%40googlegroups.com
> <https://groups.google.com/d/msgid/pandoc-discuss/b39cddda-91fa-4114-abaa-6e547d4920e5%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/CACpMh%2BC4nMz1VR6HYLo2iiCPsCA5qBVHwBh%2BQQUj%2BT2PRsaMGA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

[-- Attachment #2: Type: text/html, Size: 56166 bytes --]

Re: Where is the default css code located for syntax highlighting of source code?

[John MacFarlane]

This is added by the skylighting library, which pandoc uses for
highlighting.

The CSS is generated by skylighting and depends on the highlighting
style you specify on the command line. (Note that you can now fully
customize styles, by providing a .theme JSON file, if you don't
like the predefined styles -- see the docs.)

It is inserted into the default template via the highlighting-css
variable.  (So you can modify your template if you want something else,
or maybe even supply a value using -V.)

Chris Stryczynski <thisismyemailaddressonly-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> writes:

> Hello! I'm looking for a css file like that would contain the below code. 
> Does anyone know where this is located / sourced from?
>
> Essentially this is the CSS that gets inserted when running pandoc 
> via: pandoc --from markdown_strict+backtick_code_blocks -s 
> compiledArticle.md -o compiled.html
>
> I'm using the pandoc library directory from Haskell, which only provides me 
> with the HTML.
>
>
>   <style type="text/css">
> a.sourceLine { display: inline-block; line-height: 1.25; }
> a.sourceLine { pointer-events: none; color: inherit; text-decoration: 
> inherit; }
> a.sourceLine:empty { height: 1.2em; position: absolute; }
> .sourceCode { overflow: visible; }
> code.sourceCode { white-space: pre; position: relative; }
> div.sourceCode { margin: 1em 0; }
> pre.sourceCode { margin: 0; }
> @media screen {
> div.sourceCode { overflow: auto; }
> }
> @media print {
> code.sourceCode { white-space: pre-wrap; }
> a.sourceLine { text-indent: -1em; padding-left: 1em; }
> }
> pre.numberSource a.sourceLine
>   { position: relative; }
> pre.numberSource a.sourceLine:empty
>   { position: absolute; }
> pre.numberSource a.sourceLine::before
>   { content: attr(data-line-number);
>     position: absolute; left: -5em; text-align: right; vertical-align: 
> baseline;
>     border: none; pointer-events: all;
>     -webkit-touch-callout: none; -webkit-user-select: none;
>     -khtml-user-select: none; -moz-user-select: none;
>     -ms-user-select: none; user-select: none;
>     padding: 0 4px; width: 4em;
>     color: #aaaaaa;
>   }
> pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa; 
>  padding-left: 4px; }
> div.sourceCode
>   {  }
> @media screen {
> a.sourceLine::before { text-decoration: underline; }
> }
> code span.al { color: #ff0000; font-weight: bold; } /* Alert */
> code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* 
> Annotation */
> code span.at { color: #7d9029; } /* Attribute */
> code span.bn { color: #40a070; } /* BaseN */
> code span.bu { } /* BuiltIn */
> code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
> code span.ch { color: #4070a0; } /* Char */
> code span.cn { color: #880000; } /* Constant */
> code span.co { color: #60a0b0; font-style: italic; } /* Comment */
> code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* 
> CommentVar */
> code span.do { color: #ba2121; font-style: italic; } /* Documentation */
> code span.dt { color: #902000; } /* DataType */
> code span.dv { color: #40a070; } /* DecVal */
> code span.er { color: #ff0000; font-weight: bold; } /* Error */
> code span.ex { } /* Extension */
> code span.fl { color: #40a070; } /* Float */
> code span.fu { color: #06287e; } /* Function */
> code span.im { } /* Import */
> code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* 
> Information */
> code span.kw { color: #007020; font-weight: bold; } /* Keyword */
> code span.op { color: #666666; } /* Operator */
> code span.ot { color: #007020; } /* Other */
> code span.pp { color: #bc7a00; } /* Preprocessor */
> code span.sc { color: #4070a0; } /* SpecialChar */
> code span.ss { color: #bb6688; } /* SpecialString */
> code span.st { color: #4070a0; } /* String */
> code span.va { color: #19177c; } /* Variable */
> code span.vs { color: #4070a0; } /* VerbatimString */
> code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* 
> Warning */
>   </style>
>
> -- 
> You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
> To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
> To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/b39cddda-91fa-4114-abaa-6e547d4920e5%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.