add markup support for monokai pro themes (#1553)

pull/1554/head
WindSoilder 3 years ago committed by GitHub
parent 392dfa0841
commit 4563832318
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -85,6 +85,14 @@
# make diagnostic underlined, to distinguish with selection text. # make diagnostic underlined, to distinguish with selection text.
diagnostic = { modifiers = ["underlined"] } diagnostic = { modifiers = ["underlined"] }
# markup highlight, no need for `markup.raw` and `markup.list`, make them to be default
"markup.heading" = "green"
"markup.bold" = { fg = "orange", modifiers = ["bold"] }
"markup.italic" = { fg = "orange", modifiers = ["italic"] }
"markup.link.url" = { fg = "orange", modifiers = ["underlined"] }
"markup.link.text" = "yellow"
"markup.quote" = "green"
[palette] [palette]
# primary colors # primary colors
"red" = "#ff6188" "red" = "#ff6188"

@ -85,6 +85,14 @@
# make diagnostic underlined, to distinguish with selection text. # make diagnostic underlined, to distinguish with selection text.
diagnostic = { modifiers = ["underlined"] } diagnostic = { modifiers = ["underlined"] }
# markup highlight, no need for `markup.raw` and `markup.list`, make them to be default
"markup.heading" = "green"
"markup.bold" = { fg = "orange", modifiers = ["bold"] }
"markup.italic" = { fg = "orange", modifiers = ["italic"] }
"markup.link.url" = { fg = "orange", modifiers = ["underlined"] }
"markup.link.text" = "yellow"
"markup.quote" = "green"
[palette] [palette]
# primary colors # primary colors
"red" = "#ff6d7e" "red" = "#ff6d7e"

@ -85,6 +85,14 @@
# make diagnostic underlined, to distinguish with selection text. # make diagnostic underlined, to distinguish with selection text.
diagnostic = { modifiers = ["underlined"] } diagnostic = { modifiers = ["underlined"] }
# markup highlight, no need for `markup.raw` and `markup.list`, make them to be default
"markup.heading" = "green"
"markup.bold" = { fg = "orange", modifiers = ["bold"] }
"markup.italic" = { fg = "orange", modifiers = ["italic"] }
"markup.link.url" = { fg = "orange", modifiers = ["underlined"] }
"markup.link.text" = "yellow"
"markup.quote" = "green"
[palette] [palette]
# primary colors # primary colors
"red" = "#ff657a" "red" = "#ff657a"

@ -85,6 +85,14 @@
# make diagnostic underlined, to distinguish with selection text. # make diagnostic underlined, to distinguish with selection text.
diagnostic = { modifiers = ["underlined"] } diagnostic = { modifiers = ["underlined"] }
# markup highlight, no need for `markup.raw` and `markup.list`, make them to be default
"markup.heading" = "green"
"markup.bold" = { fg = "orange", modifiers = ["bold"] }
"markup.italic" = { fg = "orange", modifiers = ["italic"] }
"markup.link.url" = { fg = "orange", modifiers = ["underlined"] }
"markup.link.text" = "yellow"
"markup.quote" = "green"
[palette] [palette]
# primary colors # primary colors
"red" = "#fd6883" "red" = "#fd6883"

@ -85,6 +85,14 @@
# make diagnostic underlined, to distinguish with selection text. # make diagnostic underlined, to distinguish with selection text.
diagnostic = { modifiers = ["underlined"] } diagnostic = { modifiers = ["underlined"] }
# markup highlight, no need for `markup.raw` and `markup.list`, make them to be default
"markup.heading" = "green"
"markup.bold" = { fg = "orange", modifiers = ["bold"] }
"markup.italic" = { fg = "orange", modifiers = ["italic"] }
"markup.link.url" = { fg = "orange", modifiers = ["underlined"] }
"markup.link.text" = "yellow"
"markup.quote" = "green"
[palette] [palette]
# primary colors # primary colors
"red" = "#fc618d" "red" = "#fc618d"

Loading…
Cancel
Save