--- name: Slush & Poppies line: begin: "\\mbox{\\texttt{" end: "}}\\\\" tags: - begin: "{\\color[HTML]{406040}" end: "}" selector: comment - begin: "{\\color[HTML]{C03030}" end: "}" selector: string - begin: "{\\color[HTML]{0080A0}" end: "}" selector: constant.numeric - begin: "{\\underline{" end: "}}" selector: source.ocaml constant.numeric.floating-point - begin: "{\\color[HTML]{800000}" end: "}" selector: constant.character - begin: "{" end: "}" selector: constant.language - begin: "{" end: "}" selector: constant.character, constant.other - begin: "{" end: "}" selector: variable.parameter, variable.other - begin: "{\\color[HTML]{2060A0}" end: "}" selector: keyword - begin: "{\\color[HTML]{2060A0}" end: "}" selector: keyword.operator - begin: "{\\underline{" end: "}}" selector: source.ocaml keyword.operator.symbol.prefix.floating-point - begin: "{\\underline{" end: "}}" selector: source.ocaml keyword.operator.symbol.infix.floating-point - begin: "{\\color[HTML]{0080FF}" end: "}" selector: entity.name.module, support.other.module - begin: "{\\color[HTML]{A08000}" end: "}" selector: storage.type - begin: "{\\color[HTML]{008080}" end: "}" selector: storage - begin: "{\\color[HTML]{C08060}" end: "}" selector: entity.name.class.variant - begin: "{\\textbf{" end: "}}" selector: keyword.other.directive - begin: "{" end: "}" selector: source.ocaml keyword.other.directive.line-number - begin: "{" end: "}" selector: entity.other.inherited-class - begin: "{\\color[HTML]{800000}" end: "}" selector: entity.name.function - begin: "{\\color[HTML]{800080}" end: "}" selector: storage.type.user-defined - begin: "{\\color[HTML]{8000C0}" end: "}" selector: entity.name.type.class.type - begin: "{" end: "}" selector: variable.parameter - begin: "{" end: "}" selector: entity.name.tag - begin: "{" end: "}" selector: entity.other.attribute-name - begin: "{" end: "}" selector: support.function - begin: "{" end: "}" selector: support.constant - begin: "{" end: "}" selector: support.type, support.class - begin: "{" end: "}" selector: support.variable - begin: "{" end: "}" selector: invalid listing: begin: | \newcolumntype{C}{>{\color[HTML]{000000}\columncolor[HTML]{F1F1F1}}l} \newcolumntype{N}{>{\color[HTML]{000000}\columncolor[HTML]{B0B0FF}}l} \begin{longtable}{NC} begin-line-numbers: | \newcolumntype{C}{>{\color[HTML]{000000}\columncolor[HTML]{F1F1F1}}l} \begin{longtable}{C} end: | \end{longtable} document: begin: | \documentclass[a4paper,landscape]{article} \usepackage{xcolor} \usepackage{colortbl} \usepackage{longtable} \usepackage[left=2cm,top=1cm,right=3cm,nohead,nofoot]{geometry} \usepackage[T1]{fontenc} \usepackage[scaled]{beramono} \begin{document} end: | \end{document} filter: "@escaped.gsub(/(\\$)/, '\\\\\\\\\\1').gsub(/\\\\(?!\\$)/, '$\\\\\\\\backslash$').gsub(/(_|\\{|\\}|&|\\#|%)/, '\\\\\\\\\\1').gsub(/~/, '\\\\textasciitilde ').gsub(/ /,'\\\\hspace{1ex}').gsub(/\\t| /,'\\\\hspace{3ex}').gsub(/\\\"/, \"''\").gsub(/(\\^)/,'\\\\\\\\\\1{}')" line-numbers: begin: "" end: "}}&\\mbox{\\texttt{"