--- name: Zenburnesque line: begin: "" end: "}}\\\\" tags: - begin: "{\\color[HTML]{709070}\\textit{" end: "}}" selector: comment - begin: "{\\textbf{" end: "}}" selector: keyword.other.directive - begin: "{\\underline{" end: "}}" selector: keyword.other.directive.line-number - begin: "{\\color[HTML]{FF8080}" end: "}" selector: constant.character - begin: "{\\color[HTML]{FF2020}" end: "}" selector: string - begin: "{\\color[HTML]{22C0FF}" end: "}" selector: constant.numeric - begin: "{\\underline{" end: "}}" selector: constant.numeric.floating-point - begin: "{" end: "}" selector: constant.language - begin: "{" end: "}" selector: constant.character, constant.other - begin: "{" end: "}" selector: variable.parameter, variable.other - begin: "{\\color[HTML]{FFFFA0}" end: "}" selector: keyword - begin: "{\\color[HTML]{FF8000}\\textbf{" end: "}}" selector: entity.name.module, support.other.module - begin: "{\\color[HTML]{FFFFA0}" end: "}" selector: keyword.operator - begin: "{\\underline{" end: "}}" selector: source.ocaml keyword.operator.symbol.infix.floating-point - begin: "{\\underline{" end: "}}" selector: source.ocaml keyword.operator.symbol.prefix.floating-point - begin: "{\\color[HTML]{6080FF}" end: "}" selector: storage.type - begin: "{\\color[HTML]{4080A0}" end: "}" selector: entity.name.class.variant - begin: "{" end: "}" selector: storage - begin: "{\\color[HTML]{F09040}" end: "}" selector: entity.name.type - begin: "{" end: "}" selector: entity.other.inherited-class - begin: "{\\color[HTML]{FFCC66}\\textbf{" end: "}}" selector: entity.name.function - begin: "{\\color[HTML]{FFE000}" end: "}" selector: storage.type.user-defined - begin: "{\\color[HTML]{F4A020}" 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]{DEDEDE}\columncolor[HTML]{404040}}l} \newcolumntype{N}{>{\color[HTML]{000000}\columncolor[HTML]{A0A0C0}}l} \begin{longtable}{NC} 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: \texttt{ end: "}&\\mbox{\\texttt{"