--- name: Amy line: begin: "" end: "}}\\\\" tags: - begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{200020}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{404080}\textit{ end: "}}" selector: comment.block - begin: "{\\color[HTML]{999999}" end: "}" selector: string - begin: "{\\color[HTML]{707090}" end: "}" selector: constant.language - begin: "{\\color[HTML]{7090B0}" end: "}" selector: constant.numeric - begin: "{\\textbf{" end: "}}" selector: constant.numeric.integer.int32 - begin: "{\\textit{" end: "}}" selector: constant.numeric.integer.int64 - begin: "{\\textbf{" end: "}}" selector: constant.numeric.integer.nativeint - begin: "{\\underline{" end: "}}" selector: constant.numeric.floating-point.ocaml - begin: "{\\color[HTML]{666666}" end: "}" selector: constant.character - begin: "{\\color[HTML]{8080A0}" end: "}" selector: constant.language.boolean - begin: "{" end: "}" selector: constant.language - begin: "{" end: "}" selector: constant.other - begin: "{\\color[HTML]{008080}" end: "}" selector: variable.language, variable.other - begin: "{\\color[HTML]{A080FF}" end: "}" selector: keyword - begin: "{\\color[HTML]{A0A0FF}" end: "}" selector: keyword.operator - begin: "{\\color[HTML]{D0D0FF}" end: "}" selector: keyword.other.decorator - begin: "{\\underline{" end: "}}" selector: keyword.operator.infix.floating-point.ocaml - begin: "{\\underline{" end: "}}" selector: keyword.operator.prefix.floating-point.ocaml - begin: "{\\color[HTML]{C080C0}" end: "}" selector: keyword.other.directive - begin: "{\\color[HTML]{C080C0}\\underline{" end: "}}" selector: keyword.other.directive.line-number - begin: "{\\color[HTML]{80A0FF}" end: "}" selector: keyword.control - begin: "{\\color[HTML]{B0FFF0}" end: "}" selector: storage - begin: "{\\color[HTML]{60B0FF}" end: "}" selector: entity.name.type.variant - begin: "{\\color[HTML]{60B0FF}\\textit{" end: "}}" selector: storage.type.variant.polymorphic, entity.name.type.variant.polymorphic - begin: "{\\color[HTML]{B000B0}" end: "}" selector: entity.name.type.module - begin: "{\\color[HTML]{B000B0}\\underline{" end: "}}" selector: entity.name.type.module-type.ocaml - begin: "{\\color[HTML]{A00050}" end: "}" selector: support.other - begin: "{\\color[HTML]{70E080}" end: "}" selector: entity.name.type.class - begin: "{\\color[HTML]{70E0A0}" end: "}" selector: entity.name.type.class-type - begin: "{" end: "}" selector: entity.other.inherited-class - begin: "{\\color[HTML]{50A0A0}" end: "}" selector: entity.name.function - begin: "{\\color[HTML]{80B0B0}" end: "}" selector: variable.parameter - begin: "{\\color[HTML]{3080A0}" end: "}" selector: entity.name.type.token - begin: "{\\color[HTML]{3CB0D0}" end: "}" selector: entity.name.type.token.reference - begin: "{\\color[HTML]{90E0E0}" end: "}" selector: entity.name.function.non-terminal - begin: "{\\color[HTML]{C0F0F0}" end: "}" selector: entity.name.function.non-terminal.reference - begin: "{\\color[HTML]{009090}" end: "}" selector: entity.name.tag - begin: "{" end: "}" selector: entity.other.attribute-name - begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{200020}{\rule[-0.5ex]{0pt}{2.0ex} end: "}" selector: support.constant - begin: "{" end: "}" selector: support.type, support.class - begin: "{" end: "}" selector: support.other.variable - begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{FFFF00}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{400080}\textbf{ end: "}}" selector: invalid.illegal - begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{CC66FF}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{200020} end: "}" selector: invalid.deprecated - begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{350060}{\rule[-0.5ex]{0pt}{2.0ex} end: "}" selector: source.camlp4.embedded - begin: "{" end: "}" selector: source.camlp4.embedded.parser.ocaml - begin: "{\\color[HTML]{805080}" end: "}" selector: punctuation listing: begin: | \newcolumntype{C}{>{\color[HTML]{D0D0FF}\columncolor[HTML]{200020}}l} \newcolumntype{N}{>{\color[HTML]{000000}\columncolor[HTML]{800000}}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{"