devver-ultraviolet 0.10.5

data/render/latex/active4d.render

@@ -0,0 +1,132 @@
+--- 
+name: Active4D
+line: 
+  begin: ""
+  end: "}}\\\\"
+tags: 
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{ECF1FF}{\rule[-0.5ex]{0pt}{2.0ex}
+  end: "}"
+  selector: text.html source.active4d
+- begin: "{\\color[HTML]{000000}"
+  end: "}"
+  selector: text.xml
+- begin: "{\\color[HTML]{D33535}"
+  end: "}"
+  selector: comment.line
+- begin: "{\\color[HTML]{D33435}"
+  end: "}"
+  selector: comment.block
+- begin: "{\\color[HTML]{666666}"
+  end: "}"
+  selector: string
+- begin: "{\\color[HTML]{66CCFF}\\textbf{"
+  end: "}}"
+  selector: string.interpolated variable
+- begin: "{\\color[HTML]{A8017E}"
+  end: "}"
+  selector: constant.numeric
+- begin: "{"
+  end: "}"
+  selector: constant.character, constant.other
+- begin: "{\\color[HTML]{66CCFF}\\textbf{"
+  end: "}}"
+  selector: constant.other.date, constant.other.time
+- begin: "{\\color[HTML]{A535AE}"
+  end: "}"
+  selector: constant.language
+- begin: "{\\color[HTML]{6392FF}\\textbf{"
+  end: "}}"
+  selector: variable.other.local
+- begin: "{\\color[HTML]{0053FF}\\textbf{"
+  end: "}}"
+  selector: variable
+- begin: "{\\color[HTML]{0BB600}"
+  end: "}"
+  selector: variable.other.table-field
+- begin: "{\\color[HTML]{006699}\\textbf{"
+  end: "}}"
+  selector: keyword
+- begin: "{"
+  end: "}"
+  selector: keyword.operator
+- begin: "{\\color[HTML]{FF5600}"
+  end: "}"
+  selector: storage
+- begin: "{\\color[HTML]{21439C}"
+  end: "}"
+  selector: entity.name.type
+- begin: "{"
+  end: "}"
+  selector: entity.other.inherited-class
+- begin: "{\\color[HTML]{21439C}"
+  end: "}"
+  selector: entity.name.function
+- begin: "{"
+  end: "}"
+  selector: variable.parameter
+- begin: "{\\color[HTML]{7A7A7A}"
+  end: "}"
+  selector: meta.tag
+- begin: "{\\color[HTML]{016CFF}"
+  end: "}"
+  selector: entity.name.tag
+- begin: "{\\color[HTML]{963DFF}"
+  end: "}"
+  selector: entity.other.attribute-name
+- begin: "{\\color[HTML]{45AE34}\\textbf{"
+  end: "}}"
+  selector: support.function
+- begin: "{\\color[HTML]{B7734C}"
+  end: "}"
+  selector: support.constant
+- begin: "{\\color[HTML]{A535AE}"
+  end: "}"
+  selector: support.type, support.class
+- begin: "{\\color[HTML]{A535AE}"
+  end: "}"
+  selector: support.variable
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{990000}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{FFFFFF}
+  end: "}"
+  selector: invalid
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{656565}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{FFFFFF}
+  end: "}"
+  selector: meta.diff
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{1B63FF}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{FFFFFF}
+  end: "}"
+  selector: meta.diff.range
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{FF7880}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{000000}
+  end: "}"
+  selector: markup.deleted.diff
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{98FF9A}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{000000}
+  end: "}"
+  selector: markup.inserted.diff
+- begin: "{\\color[HTML]{5E5E5E}"
+  end: "}"
+  selector: source.diff
+listing: 
+  begin: |
+    \newcolumntype{C}{>{\color[HTML]{000000}\columncolor[HTML]{FFFFFF}}l}
+    \newcolumntype{N}{>{\color[HTML]{000000}\columncolor[HTML]{BAD6FD}}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{"

data/render/latex/all_hallows_eve.render

@@ -0,0 +1,96 @@
+--- 
+name: All Hallow's Eve
+line: 
+  begin: ""
+  end: "}}\\\\"
+tags: 
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{434242}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{FFFFFF}
+  end: "}"
+  selector: text
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{000000}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{FFFFFF}
+  end: "}"
+  selector: source
+- begin: "{\\color[HTML]{9933CC}"
+  end: "}"
+  selector: comment
+- begin: "{\\color[HTML]{3387CC}"
+  end: "}"
+  selector: constant
+- begin: "{\\color[HTML]{CC7833}"
+  end: "}"
+  selector: keyword
+- begin: "{\\color[HTML]{D0D0FF}"
+  end: "}"
+  selector: meta.preprocessor.c
+- begin: "{"
+  end: "}"
+  selector: keyword.control.import
+- begin: "{"
+  end: "}"
+  selector: entity.name.function
+- begin: "{\\textit{"
+  end: "}}"
+  selector: variable.parameter
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{9B9B9B}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{FFFFFF}
+  end: "}"
+  selector: source comment.block
+- begin: "{\\color[HTML]{66CC33}"
+  end: "}"
+  selector: string
+- begin: "{\\color[HTML]{AAAAAA}"
+  end: "}"
+  selector: string constant.character.escape
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{CCCC33}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{000000}
+  end: "}"
+  selector: string.interpolated
+- begin: "{\\color[HTML]{CCCC33}"
+  end: "}"
+  selector: string.regexp
+- begin: "{\\color[HTML]{CCCC33}"
+  end: "}"
+  selector: string.literal
+- begin: "{\\color[HTML]{555555}"
+  end: "}"
+  selector: string.interpolated constant.character.escape
+- begin: "{\\underline{"
+  end: "}}"
+  selector: entity.name.type
+- begin: "{\\textit{"
+  end: "}}"
+  selector: entity.other.inherited-class
+- begin: "{\\underline{"
+  end: "}}"
+  selector: entity.name.tag
+- begin: "{"
+  end: "}"
+  selector: entity.other.attribute-name
+- begin: "{\\color[HTML]{C83730}"
+  end: "}"
+  selector: support.function
+listing: 
+  begin: |
+    \newcolumntype{C}{>{\color[HTML]{FFFFFF}\columncolor[HTML]{000000}}l}
+    \newcolumntype{N}{>{\color[HTML]{FFFFFF}\columncolor[HTML]{73597E}}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{"

data/render/latex/amy.render

@@ -0,0 +1,171 @@
+--- 
+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{"

data/render/latex/blackboard.render

@@ -0,0 +1,111 @@
+--- 
+name: Blackboard
+line: 
+  begin: ""
+  end: "}}\\\\"
+tags: 
+- begin: "{\\color[HTML]{AEAEAE}"
+  end: "}"
+  selector: comment
+- begin: "{\\color[HTML]{D8FA3C}"
+  end: "}"
+  selector: constant
+- begin: "{\\color[HTML]{FF6400}"
+  end: "}"
+  selector: entity
+- begin: "{\\color[HTML]{FBDE2D}"
+  end: "}"
+  selector: keyword
+- begin: "{\\color[HTML]{FBDE2D}"
+  end: "}"
+  selector: storage
+- begin: "{\\color[HTML]{61CE3C}"
+  end: "}"
+  selector: string, meta.verbatim
+- begin: "{\\color[HTML]{8DA6CE}"
+  end: "}"
+  selector: support
+- begin: "{"
+  end: "}"
+  selector: variable
+- begin: "{\\color[HTML]{AB2A1D}\\textit{"
+  end: "}}"
+  selector: invalid.deprecated
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{9D1E15}{\rule[-0.5ex]{0pt}{2.0ex}\color[HTML]{F8F8F8}
+  end: "}"
+  selector: invalid.illegal
+- begin: "{\\color[HTML]{FF6400}\\textit{"
+  end: "}}"
+  selector: entity.other.inherited-class
+- begin: "{\\color[HTML]{FF6400}"
+  end: "}"
+  selector: string constant.other.placeholder
+- begin: "{\\color[HTML]{BECDE6}"
+  end: "}"
+  selector: meta.function-call.py
+- begin: "{\\color[HTML]{7F90AA}"
+  end: "}"
+  selector: meta.tag, meta.tag entity
+- begin: "{\\color[HTML]{FFFFFF}"
+  end: "}"
+  selector: entity.name.section
+- begin: "{\\color[HTML]{D5E0F3}"
+  end: "}"
+  selector: keyword.type.variant
+- begin: "{\\color[HTML]{F8F8F8}"
+  end: "}"
+  selector: source.ocaml keyword.operator.symbol
+- begin: "{\\color[HTML]{8DA6CE}"
+  end: "}"
+  selector: source.ocaml keyword.operator.symbol.infix
+- begin: "{\\color[HTML]{8DA6CE}"
+  end: "}"
+  selector: source.ocaml keyword.operator.symbol.prefix
+- 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: "{\\underline{"
+  end: "}}"
+  selector: source.ocaml constant.numeric.floating-point
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{F7F7F8}{\rule[-0.5ex]{0pt}{2.0ex}
+  end: "}"
+  selector: text.tex.latex meta.function.environment
+- begin: \setlength{\fboxsep}{0ex}\colorbox[HTML]{7691F3}{\rule[-0.5ex]{0pt}{2.0ex}
+  end: "}"
+  selector: text.tex.latex meta.function.environment meta.function.environment
+- begin: "{\\color[HTML]{FBDE2D}"
+  end: "}"
+  selector: text.tex.latex support.function
+- begin: "{\\color[HTML]{FFFFFF}"
+  end: "}"
+  selector: source.plist string.unquoted, source.plist keyword.operator
+listing: 
+  begin: |
+    \newcolumntype{C}{>{\color[HTML]{F8F8F8}\columncolor[HTML]{0C1021}}l}
+    \newcolumntype{N}{>{\color[HTML]{FFFFFF}\columncolor[HTML]{253B76}}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{"