diff --git a/build/shared/lib/themes/antimony.txt b/build/shared/lib/themes/antimony.txt
new file mode 100644
index 000000000..f67b766ae
--- /dev/null
+++ b/build/shared/lib/themes/antimony.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #FFFFF2
+toolbar.gradient.top = #001F29
+toolbar.gradient.bottom = #001F29
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #7FA0A8
+# stolen from gradient bottom
+mode.background.color = #001F29
+mode.outline.color = #5B7B84
+
+toolbar.button.disabled.field = #E1FFFF
+toolbar.button.disabled.glyph = #CBEDF3
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #727774
+toolbar.button.enabled.glyph = #002039
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #001931
+toolbar.button.pressed.glyph = #83C1D2
+toolbar.button.pressed.stroke = #83C1D2
+toolbar.button.rollover.field = #83C1D2
+toolbar.button.rollover.glyph = #002039
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #FFFFF2
+toolbar.button.selected.glyph = #333C3E
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #000E19
+status.notice.bgcolor = #305C6A
+status.error.fgcolor = #000000
+status.error.bgcolor = #FFFFF2
+status.warning.bgcolor = #727774
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #909089
+header.text.unselected.color = #47595E
+header.tab.arrow.color = #47595E
+header.tab.selected.color = #000C17
+header.tab.unselected.color = #00141C
+header.tab.modified.color = #FFFFF2
+header.gradient.top = #001F29
+header.gradient.bottom = #001F29
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #FFFFF2
+footer.text.enabled.color = #7FA0A8
+footer.icon.selected.color = #FFFFF2
+footer.icon.enabled.color = #7FA0A8
+footer.gradient.top = #001F29
+footer.gradient.bottom = #001F29
+footer.tab.selected.color = #2F4F59
+footer.tab.enabled.color = #001F29
+footer.updates.text.color = #FFFFF2
+footer.updates.indicator.field.color = #000716
+footer.updates.indicator.text.color = #E1FFFF
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #040C0E
+console.output.color = #757A76
+# text color for errors printed in the console
+console.error.color = #C1C7C0
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #FFFFF2
+editor.bgcolor = #000000
+
+editor.gradient.top = #001F29
+editor.gradient.bottom = #001F29
+
+# highlight for the current line
+editor.linehighlight.color = #001829
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #FFFFF2
+# also used by EditorHeader
+editor.selection.color = #00274F
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #2F4F59
+editor.scrollbar.thumb.rollover.color = #254650
+editor.scrollbar.thumb.pressed.color = #254650
+editor.scrollbar.color = #062B35
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #E1FFFF
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #2F4F59
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #FFFFF2
+# squiggly line underneath warnings
+editor.warning.underline.color = #727774
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #000C17
+manager.tab.unselected.color = #00141C
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #909089
+manager.tab.text.unselected.color = #47595E
+manager.tab.gradient.top = #001F29
+manager.tab.gradient.bottom = #001F29
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #001F29
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/bauxite.txt b/build/shared/lib/themes/bauxite.txt
new file mode 100644
index 000000000..063f75486
--- /dev/null
+++ b/build/shared/lib/themes/bauxite.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #FFFFF2
+toolbar.gradient.top = #3E4249
+toolbar.gradient.bottom = #3E4249
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #A9ADB2
+# stolen from gradient bottom
+mode.background.color = #3E4249
+mode.outline.color = #8C9096
+
+toolbar.button.disabled.field = #FAFEFF
+toolbar.button.disabled.glyph = #E3E7EA
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #F8951D
+toolbar.button.enabled.glyph = #233959
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #01203E
+toolbar.button.pressed.glyph = #FFB724
+toolbar.button.pressed.stroke = #FFB724
+toolbar.button.rollover.field = #FFB724
+toolbar.button.rollover.glyph = #233959
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #FFFFF2
+toolbar.button.selected.glyph = #9E2600
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #11151D
+status.notice.bgcolor = #6E747E
+status.error.fgcolor = #000000
+status.error.bgcolor = #FFFFF2
+status.warning.bgcolor = #F8951D
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #FFA11D
+header.text.unselected.color = #717477
+header.tab.arrow.color = #717477
+header.tab.selected.color = #0D1018
+header.tab.unselected.color = #22252C
+header.tab.modified.color = #FFFFF2
+header.gradient.top = #3E4249
+header.gradient.bottom = #3E4249
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #FFFFF2
+footer.text.enabled.color = #A9ADB2
+footer.icon.selected.color = #FFFFF2
+footer.icon.enabled.color = #A9ADB2
+footer.gradient.top = #3E4249
+footer.gradient.bottom = #3E4249
+footer.tab.selected.color = #686C73
+footer.tab.enabled.color = #3E4249
+footer.updates.text.color = #FFFFF2
+footer.updates.indicator.field.color = #00000F
+footer.updates.indicator.text.color = #FAFEFF
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #18191A
+console.output.color = #7F817E
+# text color for errors printed in the console
+console.error.color = #FFAD3C
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #FFFFF2
+editor.bgcolor = #000000
+
+editor.gradient.top = #3E4249
+editor.gradient.bottom = #3E4249
+
+# highlight for the current line
+editor.linehighlight.color = #270700
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #FFFFF2
+# also used by EditorHeader
+editor.selection.color = #3E0900
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #686C73
+editor.scrollbar.thumb.rollover.color = #5C6067
+editor.scrollbar.thumb.pressed.color = #5C6067
+editor.scrollbar.color = #494D54
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #FAFEFF
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #686C73
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #FFFFF2
+# squiggly line underneath warnings
+editor.warning.underline.color = #F8951D
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #0D1018
+manager.tab.unselected.color = #22252C
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #FFA11D
+manager.tab.text.unselected.color = #717477
+manager.tab.gradient.top = #3E4249
+manager.tab.gradient.bottom = #3E4249
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #3E4249
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/beryl.txt b/build/shared/lib/themes/beryl.txt
new file mode 100644
index 000000000..f9328649a
--- /dev/null
+++ b/build/shared/lib/themes/beryl.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #000000
+toolbar.gradient.top = #009D76
+toolbar.gradient.bottom = #009D76
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #004429
+# stolen from gradient bottom
+mode.background.color = #009D76
+mode.outline.color = #00583A
+
+toolbar.button.disabled.field = #001E00
+toolbar.button.disabled.glyph = #30FFD2
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #FFFFF2
+toolbar.button.enabled.glyph = #00AAE7
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #00AAE7
+toolbar.button.pressed.glyph = #FFFFF2
+toolbar.button.pressed.stroke = #FFFFF2
+toolbar.button.rollover.field = #FFFFF2
+toolbar.button.rollover.glyph = #00313D
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #002340
+toolbar.button.selected.glyph = #FFFFF2
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #19FBCA
+status.notice.bgcolor = #00724B
+status.error.fgcolor = #FFFFF2
+status.error.bgcolor = #000000
+status.warning.bgcolor = #004A59
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #133941
+header.text.unselected.color = #006951
+header.tab.arrow.color = #006951
+header.tab.selected.color = #71F5CD
+header.tab.unselected.color = #44CDA8
+header.tab.modified.color = #000000
+header.gradient.top = #009D76
+header.gradient.bottom = #009D76
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #000000
+footer.text.enabled.color = #004429
+footer.icon.selected.color = #000000
+footer.icon.enabled.color = #004429
+footer.gradient.top = #009D76
+footer.gradient.bottom = #009D76
+footer.tab.selected.color = #007755
+footer.tab.enabled.color = #009D76
+footer.updates.text.color = #000000
+footer.updates.indicator.field.color = #56FFE8
+footer.updates.indicator.text.color = #001E00
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #1F312A
+console.output.color = #7D9285
+# text color for errors printed in the console
+console.error.color = #8AD0DE
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #000000
+editor.bgcolor = #FFFFF2
+
+editor.gradient.top = #009D76
+editor.gradient.bottom = #009D76
+
+# highlight for the current line
+editor.linehighlight.color = #B1FFFF
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #000000
+# also used by EditorHeader
+editor.selection.color = #00FFFF
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #007755
+editor.scrollbar.thumb.rollover.color = #006A49
+editor.scrollbar.thumb.pressed.color = #006A49
+editor.scrollbar.color = #008F6A
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #001E00
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #007755
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #000000
+# squiggly line underneath warnings
+editor.warning.underline.color = #004A59
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #71F5CD
+manager.tab.unselected.color = #44CDA8
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #133941
+manager.tab.text.unselected.color = #006951
+manager.tab.gradient.top = #009D76
+manager.tab.gradient.bottom = #009D76
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #009D76
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/calcite.txt b/build/shared/lib/themes/calcite.txt
new file mode 100644
index 000000000..3a339008c
--- /dev/null
+++ b/build/shared/lib/themes/calcite.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #000000
+toolbar.gradient.top = #CBCECC
+toolbar.gradient.bottom = #CBCECC
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #4A4D50
+# stolen from gradient bottom
+mode.background.color = #CBCECC
+mode.outline.color = #676A6B
+
+toolbar.button.disabled.field = #000009
+toolbar.button.disabled.glyph = #E4E8E4
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #FFFFF2
+toolbar.button.enabled.glyph = #3F94DF
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #3F94DF
+toolbar.button.pressed.glyph = #FFFFF2
+toolbar.button.pressed.stroke = #FFFFF2
+toolbar.button.rollover.field = #FFFFF2
+toolbar.button.rollover.glyph = #003EB0
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #001A42
+toolbar.button.selected.glyph = #FFFFF2
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #ECF0ED
+status.notice.bgcolor = #878B8D
+status.error.fgcolor = #FFFFF2
+status.error.bgcolor = #000000
+status.warning.bgcolor = #0055B6
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #004393
+header.text.unselected.color = #888B89
+header.tab.arrow.color = #888B89
+header.tab.selected.color = #EDF0EB
+header.tab.unselected.color = #DFE2DD
+header.tab.modified.color = #000000
+header.gradient.top = #CBCECC
+header.gradient.bottom = #CBCECC
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #000000
+footer.text.enabled.color = #4A4D50
+footer.icon.selected.color = #000000
+footer.icon.enabled.color = #4A4D50
+footer.gradient.top = #CBCECC
+footer.gradient.bottom = #CBCECC
+footer.tab.selected.color = #929695
+footer.tab.enabled.color = #CBCECC
+footer.updates.text.color = #000000
+footer.updates.indicator.field.color = #FBFFFA
+footer.updates.indicator.text.color = #000009
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #434442
+console.output.color = #9A9B95
+# text color for errors printed in the console
+console.error.color = #32CDFF
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #000000
+editor.bgcolor = #FFFFF2
+
+editor.gradient.top = #CBCECC
+editor.gradient.bottom = #CBCECC
+
+# highlight for the current line
+editor.linehighlight.color = #E2F7FF
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #000000
+# also used by EditorHeader
+editor.selection.color = #C0F4FF
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #929695
+editor.scrollbar.thumb.rollover.color = #808384
+editor.scrollbar.thumb.pressed.color = #808384
+editor.scrollbar.color = #B7BBB9
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #000009
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #929695
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #000000
+# squiggly line underneath warnings
+editor.warning.underline.color = #0055B6
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #EDF0EB
+manager.tab.unselected.color = #DFE2DD
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #004393
+manager.tab.text.unselected.color = #888B89
+manager.tab.gradient.top = #CBCECC
+manager.tab.gradient.bottom = #CBCECC
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #CBCECC
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/feldspar.txt b/build/shared/lib/themes/feldspar.txt
new file mode 100644
index 000000000..b7032b7a8
--- /dev/null
+++ b/build/shared/lib/themes/feldspar.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #000000
+toolbar.gradient.top = #CC9866
+toolbar.gradient.bottom = #CC9866
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #5B3304
+# stolen from gradient bottom
+mode.background.color = #CC9866
+mode.outline.color = #754A1D
+
+toolbar.button.disabled.field = #270000
+toolbar.button.disabled.glyph = #FFDCA5
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #FFFFF2
+toolbar.button.enabled.glyph = #D47900
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #D47900
+toolbar.button.pressed.glyph = #FFFFF2
+toolbar.button.pressed.stroke = #FFFFF2
+toolbar.button.rollover.field = #FFFFF2
+toolbar.button.rollover.glyph = #6C0000
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #320300
+toolbar.button.selected.glyph = #FFFFF2
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #FFD9A3
+status.notice.bgcolor = #976026
+status.error.fgcolor = #FFFFF2
+status.error.bgcolor = #000000
+status.warning.bgcolor = #800D00
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #710000
+header.text.unselected.color = #83674B
+header.tab.arrow.color = #83674B
+header.tab.selected.color = #FFDCB2
+header.tab.unselected.color = #EAC098
+header.tab.modified.color = #000000
+header.gradient.top = #CC9866
+header.gradient.bottom = #CC9866
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #000000
+footer.text.enabled.color = #5B3304
+footer.icon.selected.color = #000000
+footer.icon.enabled.color = #5B3304
+footer.gradient.top = #CC9866
+footer.gradient.bottom = #CC9866
+footer.tab.selected.color = #9C6C3E
+footer.tab.enabled.color = #CC9866
+footer.updates.text.color = #000000
+footer.updates.indicator.field.color = #FFF3BA
+footer.updates.indicator.text.color = #270000
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #3B352E
+console.output.color = #989186
+# text color for errors printed in the console
+console.error.color = #FFA100
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #000000
+editor.bgcolor = #FFFFF2
+
+editor.gradient.top = #CC9866
+editor.gradient.bottom = #CC9866
+
+# highlight for the current line
+editor.linehighlight.color = #FFEEC2
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #000000
+# also used by EditorHeader
+editor.selection.color = #FFDF91
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #9C6C3E
+editor.scrollbar.thumb.rollover.color = #8E6032
+editor.scrollbar.thumb.pressed.color = #8E6032
+editor.scrollbar.color = #BA8858
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #270000
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #9C6C3E
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #000000
+# squiggly line underneath warnings
+editor.warning.underline.color = #800D00
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #FFDCB2
+manager.tab.unselected.color = #EAC098
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #710000
+manager.tab.text.unselected.color = #83674B
+manager.tab.gradient.top = #CC9866
+manager.tab.gradient.bottom = #CC9866
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #CC9866
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/fluorite.txt b/build/shared/lib/themes/fluorite.txt
new file mode 100644
index 000000000..381d83935
--- /dev/null
+++ b/build/shared/lib/themes/fluorite.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #FFFFF2
+toolbar.gradient.top = #301751
+toolbar.gradient.bottom = #301751
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #B491D3
+# stolen from gradient bottom
+mode.background.color = #301751
+mode.outline.color = #9170B0
+
+toolbar.button.disabled.field = #FFEFFF
+toolbar.button.disabled.glyph = #FED8FF
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #A49EA1
+toolbar.button.enabled.glyph = #2B085F
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #17004E
+toolbar.button.pressed.glyph = #DEC4ED
+toolbar.button.pressed.stroke = #DEC4ED
+toolbar.button.rollover.field = #DEC4ED
+toolbar.button.rollover.glyph = #2B085F
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #FFFFF2
+toolbar.button.selected.glyph = #534A56
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #160036
+status.notice.bgcolor = #714B9C
+status.error.fgcolor = #000000
+status.error.bgcolor = #FFFFF2
+status.warning.bgcolor = #A49EA1
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #B0B0A7
+header.text.unselected.color = #69567A
+header.tab.arrow.color = #69567A
+header.tab.selected.color = #17002B
+header.tab.unselected.color = #1F0D36
+header.tab.modified.color = #FFFFF2
+header.gradient.top = #301751
+header.gradient.bottom = #301751
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #FFFFF2
+footer.text.enabled.color = #B491D3
+footer.icon.selected.color = #FFFFF2
+footer.icon.enabled.color = #B491D3
+footer.gradient.top = #301751
+footer.gradient.bottom = #301751
+footer.tab.selected.color = #644684
+footer.tab.enabled.color = #301751
+footer.updates.text.color = #FFFFF2
+footer.updates.indicator.field.color = #140030
+footer.updates.indicator.text.color = #FFEFFF
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #140E17
+console.output.color = #7F797E
+# text color for errors printed in the console
+console.error.color = #CAC4C6
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #FFFFF2
+editor.bgcolor = #000000
+
+editor.gradient.top = #301751
+editor.gradient.bottom = #301751
+
+# highlight for the current line
+editor.linehighlight.color = #1A0729
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #FFFFF2
+# also used by EditorHeader
+editor.selection.color = #28044E
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #644684
+editor.scrollbar.thumb.rollover.color = #5A3D7A
+editor.scrollbar.thumb.pressed.color = #5A3D7A
+editor.scrollbar.color = #3F2460
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #FFEFFF
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #644684
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #FFFFF2
+# squiggly line underneath warnings
+editor.warning.underline.color = #A49EA1
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #17002B
+manager.tab.unselected.color = #1F0D36
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #B0B0A7
+manager.tab.text.unselected.color = #69567A
+manager.tab.gradient.top = #301751
+manager.tab.gradient.bottom = #301751
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #301751
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/gabbro.txt b/build/shared/lib/themes/gabbro.txt
new file mode 100644
index 000000000..172e56d20
--- /dev/null
+++ b/build/shared/lib/themes/gabbro.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #000000
+toolbar.gradient.top = #869570
+toolbar.gradient.bottom = #869570
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #2F3D20
+# stolen from gradient bottom
+mode.background.color = #869570
+mode.outline.color = #445133
+
+toolbar.button.disabled.field = #000700
+toolbar.button.disabled.glyph = #DDEDC2
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #FFFFF2
+toolbar.button.enabled.glyph = #4BA400
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #4BA400
+toolbar.button.pressed.glyph = #FFFFF2
+toolbar.button.pressed.stroke = #FFFFF2
+toolbar.button.rollover.field = #FFFFF2
+toolbar.button.rollover.glyph = #122B00
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #001C00
+toolbar.button.selected.glyph = #FFFFF2
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #D7E7BC
+status.notice.bgcolor = #566841
+status.error.fgcolor = #FFFFF2
+status.error.bgcolor = #000000
+status.warning.bgcolor = #194200
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #063700
+header.text.unselected.color = #5E6551
+header.tab.arrow.color = #5E6551
+header.tab.selected.color = #DBE6C5
+header.tab.unselected.color = #B9C4A5
+header.tab.modified.color = #000000
+header.gradient.top = #869570
+header.gradient.bottom = #869570
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #000000
+footer.text.enabled.color = #2F3D20
+footer.icon.selected.color = #000000
+footer.icon.enabled.color = #2F3D20
+footer.gradient.top = #869570
+footer.gradient.bottom = #869570
+footer.tab.selected.color = #606F4D
+footer.tab.enabled.color = #869570
+footer.updates.text.color = #000000
+footer.updates.indicator.field.color = #F4FFD7
+footer.updates.indicator.text.color = #000700
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #31322D
+console.output.color = #8F9087
+# text color for errors printed in the console
+console.error.color = #A8D27A
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #000000
+editor.bgcolor = #FFFFF2
+
+editor.gradient.top = #869570
+editor.gradient.bottom = #869570
+
+# highlight for the current line
+editor.linehighlight.color = #E6FEC3
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #000000
+# also used by EditorHeader
+editor.selection.color = #CDFF95
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #606F4D
+editor.scrollbar.thumb.rollover.color = #546242
+editor.scrollbar.thumb.pressed.color = #546242
+editor.scrollbar.color = #798864
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #000700
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #606F4D
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #000000
+# squiggly line underneath warnings
+editor.warning.underline.color = #194200
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #DBE6C5
+manager.tab.unselected.color = #B9C4A5
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #063700
+manager.tab.text.unselected.color = #5E6551
+manager.tab.gradient.top = #869570
+manager.tab.gradient.bottom = #869570
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #869570
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/galena.txt b/build/shared/lib/themes/galena.txt
new file mode 100644
index 000000000..dce658633
--- /dev/null
+++ b/build/shared/lib/themes/galena.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #000000
+toolbar.gradient.top = #76797A
+toolbar.gradient.bottom = #76797A
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #2D3033
+# stolen from gradient bottom
+mode.background.color = #76797A
+mode.outline.color = #3E4244
+
+toolbar.button.disabled.field = #000009
+toolbar.button.disabled.glyph = #E4E8E4
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #FFFFF2
+toolbar.button.enabled.glyph = #5194D6
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #5194D6
+toolbar.button.pressed.glyph = #FFFFF2
+toolbar.button.pressed.stroke = #FFFFF2
+toolbar.button.rollover.field = #FFFFF2
+toolbar.button.rollover.glyph = #2B2E2F
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #00183F
+toolbar.button.selected.glyph = #FFFFF2
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #D6DAD7
+status.notice.bgcolor = #4E5256
+status.error.fgcolor = #FFFFF2
+status.error.bgcolor = #000000
+status.warning.bgcolor = #434649
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #393935
+header.text.unselected.color = #4F5252
+header.tab.arrow.color = #4F5252
+header.tab.selected.color = #D7DAD5
+header.tab.unselected.color = #B0B3B0
+header.tab.modified.color = #000000
+header.gradient.top = #76797A
+header.gradient.bottom = #76797A
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #000000
+footer.text.enabled.color = #2D3033
+footer.icon.selected.color = #000000
+footer.icon.enabled.color = #2D3033
+footer.gradient.top = #76797A
+footer.gradient.bottom = #76797A
+footer.tab.selected.color = #56595B
+footer.tab.enabled.color = #76797A
+footer.updates.text.color = #000000
+footer.updates.indicator.field.color = #FBFFFA
+footer.updates.indicator.text.color = #000009
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #292928
+console.output.color = #8A8B86
+# text color for errors printed in the console
+console.error.color = #C2C6C4
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #000000
+editor.bgcolor = #FFFFF2
+
+editor.gradient.top = #76797A
+editor.gradient.bottom = #76797A
+
+# highlight for the current line
+editor.linehighlight.color = #E2F7FF
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #000000
+# also used by EditorHeader
+editor.selection.color = #C0F4FF
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #56595B
+editor.scrollbar.thumb.rollover.color = #4C5052
+editor.scrollbar.thumb.pressed.color = #4C5052
+editor.scrollbar.color = #6C6F70
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #000009
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #56595B
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #000000
+# squiggly line underneath warnings
+editor.warning.underline.color = #434649
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #D7DAD5
+manager.tab.unselected.color = #B0B3B0
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #393935
+manager.tab.text.unselected.color = #4F5252
+manager.tab.gradient.top = #76797A
+manager.tab.gradient.bottom = #76797A
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #76797A
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/garnet.txt b/build/shared/lib/themes/garnet.txt
new file mode 100644
index 000000000..e17cafa8e
--- /dev/null
+++ b/build/shared/lib/themes/garnet.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #FFFFF2
+toolbar.gradient.top = #88272C
+toolbar.gradient.bottom = #88272C
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #FE908A
+# stolen from gradient bottom
+mode.background.color = #88272C
+mode.outline.color = #E07671
+
+toolbar.button.disabled.field = #FFDFD3
+toolbar.button.disabled.glyph = #FFC8BD
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #FF5568
+toolbar.button.enabled.glyph = #88001C
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #600000
+toolbar.button.pressed.glyph = #FF9496
+toolbar.button.pressed.stroke = #FF9496
+toolbar.button.rollover.field = #FF9496
+toolbar.button.rollover.glyph = #88001C
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #FFFFF2
+toolbar.button.selected.glyph = #F50000
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #460000
+status.notice.bgcolor = #D05052
+status.error.fgcolor = #000000
+status.error.bgcolor = #FFFFF2
+status.warning.bgcolor = #FF5568
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #FF6275
+header.text.unselected.color = #A86B65
+header.tab.arrow.color = #A86B65
+header.tab.selected.color = #370000
+header.tab.unselected.color = #521015
+header.tab.modified.color = #FFFFF2
+header.gradient.top = #88272C
+header.gradient.bottom = #88272C
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #FFFFF2
+footer.text.enabled.color = #FE908A
+footer.icon.selected.color = #FFFFF2
+footer.icon.enabled.color = #FE908A
+footer.gradient.top = #88272C
+footer.gradient.bottom = #88272C
+footer.tab.selected.color = #B95452
+footer.tab.enabled.color = #88272C
+footer.updates.text.color = #FFFFF2
+footer.updates.indicator.field.color = #370000
+footer.updates.indicator.text.color = #FFDFD3
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #261A18
+console.output.color = #8F8079
+# text color for errors printed in the console
+console.error.color = #FF707D
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #FFFFF2
+editor.bgcolor = #000000
+
+editor.gradient.top = #88272C
+editor.gradient.bottom = #88272C
+
+# highlight for the current line
+editor.linehighlight.color = #290200
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #FFFFF2
+# also used by EditorHeader
+editor.selection.color = #470000
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #B95452
+editor.scrollbar.thumb.rollover.color = #AB4747
+editor.scrollbar.thumb.pressed.color = #AB4747
+editor.scrollbar.color = #963537
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #FFDFD3
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #B95452
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #FFFFF2
+# squiggly line underneath warnings
+editor.warning.underline.color = #FF5568
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #370000
+manager.tab.unselected.color = #521015
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #FF6275
+manager.tab.text.unselected.color = #A86B65
+manager.tab.gradient.top = #88272C
+manager.tab.gradient.bottom = #88272C
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #88272C
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/jasper.txt b/build/shared/lib/themes/jasper.txt
new file mode 100644
index 000000000..245089a7d
--- /dev/null
+++ b/build/shared/lib/themes/jasper.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #000000
+toolbar.gradient.top = #D8432A
+toolbar.gradient.bottom = #D8432A
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #790000
+# stolen from gradient bottom
+mode.background.color = #D8432A
+mode.outline.color = #910000
+
+toolbar.button.disabled.field = #460000
+toolbar.button.disabled.glyph = #FFB793
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #FFFFF2
+toolbar.button.enabled.glyph = #FF5338
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #FF5338
+toolbar.button.pressed.glyph = #FFFFF2
+toolbar.button.pressed.stroke = #FFFFF2
+toolbar.button.rollover.field = #FFFFF2
+toolbar.button.rollover.glyph = #8E0000
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #380000
+toolbar.button.selected.glyph = #FFFFF2
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #FFA986
+status.notice.bgcolor = #B70000
+status.error.fgcolor = #FFFFF2
+status.error.bgcolor = #000000
+status.warning.bgcolor = #9C0000
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #910000
+header.text.unselected.color = #893828
+header.tab.arrow.color = #893828
+header.tab.selected.color = #FFB89A
+header.tab.unselected.color = #FF9176
+header.tab.modified.color = #000000
+header.gradient.top = #D8432A
+header.gradient.bottom = #D8432A
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #000000
+footer.text.enabled.color = #790000
+footer.icon.selected.color = #000000
+footer.icon.enabled.color = #790000
+footer.gradient.top = #D8432A
+footer.gradient.bottom = #D8432A
+footer.tab.selected.color = #B01800
+footer.tab.enabled.color = #D8432A
+footer.updates.text.color = #000000
+footer.updates.indicator.field.color = #FFCEA8
+footer.updates.indicator.text.color = #460000
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #372520
+console.output.color = #9C867B
+# text color for errors printed in the console
+console.error.color = #FF5E38
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #000000
+editor.bgcolor = #FFFFF2
+
+editor.gradient.top = #D8432A
+editor.gradient.bottom = #D8432A
+
+# highlight for the current line
+editor.linehighlight.color = #FFE8D3
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #000000
+# also used by EditorHeader
+editor.selection.color = #FFD3B6
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #B01800
+editor.scrollbar.thumb.rollover.color = #A30100
+editor.scrollbar.thumb.pressed.color = #A30100
+editor.scrollbar.color = #CC371F
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #460000
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #B01800
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #000000
+# squiggly line underneath warnings
+editor.warning.underline.color = #9C0000
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #FFB89A
+manager.tab.unselected.color = #FF9176
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #910000
+manager.tab.text.unselected.color = #893828
+manager.tab.gradient.top = #D8432A
+manager.tab.gradient.bottom = #D8432A
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #D8432A
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/kyanite.txt b/build/shared/lib/themes/kyanite.txt
new file mode 100644
index 000000000..ed7839002
--- /dev/null
+++ b/build/shared/lib/themes/kyanite.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #000000
+toolbar.gradient.top = #6BA0C7
+toolbar.gradient.bottom = #6BA0C7
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #004063
+# stolen from gradient bottom
+mode.background.color = #6BA0C7
+mode.outline.color = #12577C
+
+toolbar.button.disabled.field = #00072B
+toolbar.button.disabled.glyph = #BAEDFF
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #FFFFF2
+toolbar.button.enabled.glyph = #009BEE
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #009BEE
+toolbar.button.pressed.glyph = #FFFFF2
+toolbar.button.pressed.stroke = #FFFFF2
+toolbar.button.rollover.field = #FFFFF2
+toolbar.button.rollover.glyph = #003BB1
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #00193D
+toolbar.button.selected.glyph = #FFFFF2
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #B7EAFF
+status.notice.bgcolor = #016E9F
+status.error.fgcolor = #FFFFF2
+status.error.bgcolor = #000000
+status.warning.bgcolor = #004BB5
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #003D96
+header.text.unselected.color = #4F6A80
+header.tab.arrow.color = #4F6A80
+header.tab.selected.color = #C4E9FF
+header.tab.unselected.color = #A6CAE5
+header.tab.modified.color = #000000
+header.gradient.top = #6BA0C7
+header.gradient.bottom = #6BA0C7
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #000000
+footer.text.enabled.color = #004063
+footer.icon.selected.color = #000000
+footer.icon.enabled.color = #004063
+footer.gradient.top = #6BA0C7
+footer.gradient.bottom = #6BA0C7
+footer.tab.selected.color = #3E769D
+footer.tab.enabled.color = #6BA0C7
+footer.updates.text.color = #000000
+footer.updates.indicator.field.color = #D1FFFF
+footer.updates.indicator.text.color = #00072B
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #2F3539
+console.output.color = #8C9495
+# text color for errors printed in the console
+console.error.color = #00D7FF
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #000000
+editor.bgcolor = #FFFFF2
+
+editor.gradient.top = #6BA0C7
+editor.gradient.bottom = #6BA0C7
+
+# highlight for the current line
+editor.linehighlight.color = #D9FAFF
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #000000
+# also used by EditorHeader
+editor.selection.color = #AAF8FF
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #3E769D
+editor.scrollbar.thumb.rollover.color = #2F6A90
+editor.scrollbar.thumb.pressed.color = #2F6A90
+editor.scrollbar.color = #5D93BA
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #00072B
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #3E769D
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #000000
+# squiggly line underneath warnings
+editor.warning.underline.color = #004BB5
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #C4E9FF
+manager.tab.unselected.color = #A6CAE5
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #003D96
+manager.tab.text.unselected.color = #4F6A80
+manager.tab.gradient.top = #6BA0C7
+manager.tab.gradient.bottom = #6BA0C7
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #6BA0C7
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/malachite.txt b/build/shared/lib/themes/malachite.txt
new file mode 100644
index 000000000..8a9410467
--- /dev/null
+++ b/build/shared/lib/themes/malachite.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #FFFFF2
+toolbar.gradient.top = #243028
+toolbar.gradient.bottom = #243028
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #97A697
+# stolen from gradient bottom
+mode.background.color = #243028
+mode.outline.color = #788779
+
+toolbar.button.disabled.field = #F2FFEE
+toolbar.button.disabled.glyph = #DBECD8
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #17AD6A
+toolbar.button.enabled.glyph = #002F1C
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #001F0C
+toolbar.button.pressed.glyph = #2EE48F
+toolbar.button.pressed.stroke = #2EE48F
+toolbar.button.rollover.field = #2EE48F
+toolbar.button.rollover.glyph = #002F1C
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #FFFFF2
+toolbar.button.selected.glyph = #005D09
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #001108
+status.notice.bgcolor = #57695C
+status.error.fgcolor = #000000
+status.error.bgcolor = #FFFFF2
+status.warning.bgcolor = #17AD6A
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #56BE83
+header.text.unselected.color = #5D675D
+header.tab.arrow.color = #5D675D
+header.tab.selected.color = #000E05
+header.tab.unselected.color = #131D17
+header.tab.modified.color = #FFFFF2
+header.gradient.top = #243028
+header.gradient.bottom = #243028
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #FFFFF2
+footer.text.enabled.color = #97A697
+footer.icon.selected.color = #FFFFF2
+footer.icon.enabled.color = #97A697
+footer.gradient.top = #243028
+footer.gradient.bottom = #243028
+footer.tab.selected.color = #505F53
+footer.tab.enabled.color = #243028
+footer.updates.text.color = #FFFFF2
+footer.updates.indicator.field.color = #000500
+footer.updates.indicator.text.color = #F2FFEE
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #101410
+console.output.color = #7B7F77
+# text color for errors printed in the console
+console.error.color = #59DD94
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #FFFFF2
+editor.bgcolor = #000000
+
+editor.gradient.top = #243028
+editor.gradient.bottom = #243028
+
+# highlight for the current line
+editor.linehighlight.color = #001900
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #FFFFF2
+# also used by EditorHeader
+editor.selection.color = #002600
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #505F53
+editor.scrollbar.thumb.rollover.color = #47554A
+editor.scrollbar.thumb.pressed.color = #47554A
+editor.scrollbar.color = #303E34
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #F2FFEE
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #505F53
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #FFFFF2
+# squiggly line underneath warnings
+editor.warning.underline.color = #17AD6A
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #000E05
+manager.tab.unselected.color = #131D17
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #56BE83
+manager.tab.text.unselected.color = #5D675D
+manager.tab.gradient.top = #243028
+manager.tab.gradient.bottom = #243028
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #243028
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/olivine.txt b/build/shared/lib/themes/olivine.txt
new file mode 100644
index 000000000..c7e596c4f
--- /dev/null
+++ b/build/shared/lib/themes/olivine.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #000000
+toolbar.gradient.top = #94AC2C
+toolbar.gradient.bottom = #94AC2C
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #2B4500
+# stolen from gradient bottom
+mode.background.color = #94AC2C
+mode.outline.color = #425D00
+
+toolbar.button.disabled.field = #000D00
+toolbar.button.disabled.glyph = #DBF270
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #FFFFF2
+toolbar.button.enabled.glyph = #7A9C00
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #7A9C00
+toolbar.button.pressed.glyph = #FFFFF2
+toolbar.button.pressed.stroke = #FFFFF2
+toolbar.button.rollover.field = #FFFFF2
+toolbar.button.rollover.glyph = #173200
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #101800
+toolbar.button.selected.glyph = #FFFFF2
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #D8EF6D
+status.notice.bgcolor = #547800
+status.error.fgcolor = #FFFFF2
+status.error.bgcolor = #000000
+status.warning.bgcolor = #144900
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #153B00
+header.text.unselected.color = #65722E
+header.tab.arrow.color = #65722E
+header.tab.selected.color = #DDED8C
+header.tab.unselected.color = #C0D072
+header.tab.modified.color = #000000
+header.gradient.top = #94AC2C
+header.gradient.bottom = #94AC2C
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #000000
+footer.text.enabled.color = #2B4500
+footer.icon.selected.color = #000000
+footer.icon.enabled.color = #2B4500
+footer.gradient.top = #94AC2C
+footer.gradient.bottom = #94AC2C
+footer.tab.selected.color = #668000
+footer.tab.enabled.color = #94AC2C
+footer.updates.text.color = #000000
+footer.updates.indicator.field.color = #F2FF85
+footer.updates.indicator.text.color = #000D00
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #363828
+console.output.color = #92947E
+# text color for errors printed in the console
+console.error.color = #A0D800
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #000000
+editor.bgcolor = #FFFFF2
+
+editor.gradient.top = #94AC2C
+editor.gradient.bottom = #94AC2C
+
+# highlight for the current line
+editor.linehighlight.color = #F3FAC3
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #000000
+# also used by EditorHeader
+editor.selection.color = #E8F894
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #668000
+editor.scrollbar.thumb.rollover.color = #597300
+editor.scrollbar.thumb.pressed.color = #597300
+editor.scrollbar.color = #849C18
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #000D00
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #668000
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #000000
+# squiggly line underneath warnings
+editor.warning.underline.color = #144900
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #DDED8C
+manager.tab.unselected.color = #C0D072
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #153B00
+manager.tab.text.unselected.color = #65722E
+manager.tab.gradient.top = #94AC2C
+manager.tab.gradient.bottom = #94AC2C
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #94AC2C
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/orpiment.txt b/build/shared/lib/themes/orpiment.txt
new file mode 100644
index 000000000..ca250d64d
--- /dev/null
+++ b/build/shared/lib/themes/orpiment.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #000000
+toolbar.gradient.top = #FFCC3A
+toolbar.gradient.bottom = #FFCC3A
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #6A4700
+# stolen from gradient bottom
+mode.background.color = #FFCC3A
+mode.outline.color = #8E6600
+
+toolbar.button.disabled.field = #2D0000
+toolbar.button.disabled.glyph = #FFDF4F
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #FFFFF2
+toolbar.button.enabled.glyph = #B88900
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #B88900
+toolbar.button.pressed.glyph = #FFFFF2
+toolbar.button.pressed.stroke = #FFFFF2
+toolbar.button.rollover.field = #FFFFF2
+toolbar.button.rollover.glyph = #582700
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #2A1300
+toolbar.button.selected.glyph = #FFFFF2
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #FFEB5B
+status.notice.bgcolor = #B98500
+status.error.fgcolor = #FFFFF2
+status.error.bgcolor = #000000
+status.warning.bgcolor = #724400
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #613400
+header.text.unselected.color = #A9893D
+header.tab.arrow.color = #A9893D
+header.tab.selected.color = #FFEC84
+header.tab.unselected.color = #FFDE77
+header.tab.modified.color = #000000
+header.gradient.top = #FFCC3A
+header.gradient.bottom = #FFCC3A
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #000000
+footer.text.enabled.color = #6A4700
+footer.icon.selected.color = #000000
+footer.icon.enabled.color = #6A4700
+footer.gradient.top = #FFCC3A
+footer.gradient.bottom = #FFCC3A
+footer.tab.selected.color = #C09000
+footer.tab.enabled.color = #FFCC3A
+footer.updates.text.color = #000000
+footer.updates.indicator.field.color = #FFF666
+footer.updates.indicator.text.color = #2D0000
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #4B4331
+console.output.color = #A39982
+# text color for errors printed in the console
+console.error.color = #FFBA00
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #000000
+editor.bgcolor = #FFFFF2
+
+editor.gradient.top = #FFCC3A
+editor.gradient.bottom = #FFCC3A
+
+# highlight for the current line
+editor.linehighlight.color = #FFF3C2
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #000000
+# also used by EditorHeader
+editor.selection.color = #FFEB93
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #C09000
+editor.scrollbar.thumb.rollover.color = #AB7F00
+editor.scrollbar.thumb.pressed.color = #AB7F00
+editor.scrollbar.color = #EDB820
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #2D0000
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #C09000
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #000000
+# squiggly line underneath warnings
+editor.warning.underline.color = #724400
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #FFEC84
+manager.tab.unselected.color = #FFDE77
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #613400
+manager.tab.text.unselected.color = #A9893D
+manager.tab.gradient.top = #FFCC3A
+manager.tab.gradient.bottom = #FFCC3A
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #FFCC3A
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/pyrite.txt b/build/shared/lib/themes/pyrite.txt
new file mode 100644
index 000000000..fa9b266e7
--- /dev/null
+++ b/build/shared/lib/themes/pyrite.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #FFFFF2
+toolbar.gradient.top = #00474E
+toolbar.gradient.bottom = #00474E
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #75B5B8
+# stolen from gradient bottom
+mode.background.color = #00474E
+mode.outline.color = #58979B
+
+toolbar.button.disabled.field = #C9FFFF
+toolbar.button.disabled.glyph = #B2F3F3
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #99915B
+toolbar.button.enabled.glyph = #004353
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #002838
+toolbar.button.pressed.glyph = #D1C86F
+toolbar.button.pressed.stroke = #D1C86F
+toolbar.button.rollover.field = #D1C86F
+toolbar.button.rollover.glyph = #004353
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #FFFFF2
+toolbar.button.selected.glyph = #4C4800
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #001B21
+status.notice.bgcolor = #187D85
+status.error.fgcolor = #000000
+status.error.bgcolor = #FFFFF2
+status.warning.bgcolor = #99915B
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #AFA663
+header.text.unselected.color = #547778
+header.tab.arrow.color = #547778
+header.tab.selected.color = #00171C
+header.tab.unselected.color = #00292E
+header.tab.modified.color = #FFFFF2
+header.gradient.top = #00474E
+header.gradient.bottom = #00474E
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #FFFFF2
+footer.text.enabled.color = #75B5B8
+footer.icon.selected.color = #FFFFF2
+footer.icon.enabled.color = #75B5B8
+footer.gradient.top = #00474E
+footer.gradient.bottom = #00474E
+footer.tab.selected.color = #327378
+footer.tab.enabled.color = #00474E
+footer.updates.text.color = #FFFFF2
+footer.updates.indicator.field.color = #000E16
+footer.updates.indicator.text.color = #C9FFFF
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #131A1A
+console.output.color = #79827D
+# text color for errors printed in the console
+console.error.color = #D0C78C
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #FFFFF2
+editor.bgcolor = #000000
+
+editor.gradient.top = #00474E
+editor.gradient.bottom = #00474E
+
+# highlight for the current line
+editor.linehighlight.color = #181100
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #FFFFF2
+# also used by EditorHeader
+editor.selection.color = #251C00
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #327378
+editor.scrollbar.thumb.rollover.color = #23676C
+editor.scrollbar.thumb.pressed.color = #23676C
+editor.scrollbar.color = #045359
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #C9FFFF
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #327378
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #FFFFF2
+# squiggly line underneath warnings
+editor.warning.underline.color = #99915B
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #00171C
+manager.tab.unselected.color = #00292E
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #AFA663
+manager.tab.text.unselected.color = #547778
+manager.tab.gradient.top = #00474E
+manager.tab.gradient.bottom = #00474E
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #00474E
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold
diff --git a/build/shared/lib/themes/serandite.txt b/build/shared/lib/themes/serandite.txt
new file mode 100644
index 000000000..90bae019b
--- /dev/null
+++ b/build/shared/lib/themes/serandite.txt
@@ -0,0 +1,225 @@
+# The gradient.top and gradient.bottom lines are used by makeGradient(),
+# so search for makeGradient() calls to see whether they're still in use.
+
+
+## EditorToolbar ##
+
+# TOOLBAR BUTTON TEXT
+toolbar.rollover.font = processing.sans,plain,12
+toolbar.rollover.color = #000000
+toolbar.gradient.top = #EC6800
+toolbar.gradient.bottom = #EC6800
+
+# MODE SELECTOR (EditorToolbar)
+mode.title.font = processing.sans,plain,12
+mode.title.color = #7D0000
+# stolen from gradient bottom
+mode.background.color = #EC6800
+mode.outline.color = #971E00
+
+toolbar.button.disabled.field = #440000
+toolbar.button.disabled.glyph = #FFC05D
+toolbar.button.disabled.stroke = none
+toolbar.button.enabled.field = #FFFFF2
+toolbar.button.enabled.glyph = #EA5C9B
+toolbar.button.enabled.stroke = none
+toolbar.button.pressed.field = #EA5C9B
+toolbar.button.pressed.glyph = #FFFFF2
+toolbar.button.pressed.stroke = #FFFFF2
+toolbar.button.rollover.field = #FFFFF2
+toolbar.button.rollover.glyph = #46162C
+toolbar.button.rollover.stroke = none
+toolbar.button.selected.field = #340018
+toolbar.button.selected.glyph = #FFFFF2
+toolbar.button.selected.stroke = none
+
+toolbar.button.debug.disabled.field = #000009
+toolbar.button.debug.disabled.glyph = #E4E8E4
+toolbar.button.debug.disabled.stroke = none
+toolbar.button.debug.enabled.field = #909699
+toolbar.button.debug.enabled.glyph = #DEE2DF
+toolbar.button.debug.enabled.stroke = none
+toolbar.button.debug.pressed.field = #909699
+toolbar.button.debug.pressed.glyph = #FFFFF2
+toolbar.button.debug.pressed.stroke = #60605B
+toolbar.button.debug.rollover.field = #5B6165
+toolbar.button.debug.rollover.glyph = #FFFFF2
+toolbar.button.debug.rollover.stroke = none
+toolbar.button.debug.selected.field = #FFFFF2
+toolbar.button.debug.selected.glyph = #0075FF
+toolbar.button.debug.selected.stroke = none
+
+
+## EditorStatus - status message bar directly below the editor ##
+
+status.notice.fgcolor = #FFBA57
+status.notice.bgcolor = #C12200
+status.error.fgcolor = #FFFFF2
+status.error.bgcolor = #000000
+status.warning.bgcolor = #662140
+status.warning.fgcolor = #FFFFF2
+status.url.fgcolor = #cccccc
+status.font = processing.sans,plain,13
+# For the clipboard icon, needs to be a little larger on macOS
+status.emoji.font = Dialog,plain,22
+status.emoji.font.macosx = Dialog,plain,22
+
+
+## EditorHeader - the tab area above the editor ##
+
+header.text.font = processing.sans,bold,14
+header.text.selected.color = #5E0B36
+header.text.unselected.color = #984E1A
+header.tab.arrow.color = #984E1A
+header.tab.selected.color = #FFC67F
+header.tab.unselected.color = #FFA55F
+header.tab.modified.color = #000000
+header.gradient.top = #EC6800
+header.gradient.bottom = #EC6800
+
+
+## EditorFooter - the tabs below the editor ##
+
+footer.text.font = processing.sans,bold,12
+footer.text.selected.color = #000000
+footer.text.enabled.color = #7D0000
+footer.icon.selected.color = #000000
+footer.icon.enabled.color = #7D0000
+footer.gradient.top = #EC6800
+footer.gradient.bottom = #EC6800
+footer.tab.selected.color = #BC4000
+footer.tab.enabled.color = #EC6800
+footer.updates.text.color = #000000
+footer.updates.indicator.field.color = #FFD773
+footer.updates.indicator.text.color = #440000
+
+
+## EditorConsole - stack traces of doom and println() ##
+
+# The font is handled by preferences.txt, so its size/etc are modifiable.
+console.color = #402E22
+console.output.color = #A28B7A
+# text color for errors printed in the console
+console.error.color = #FFAEC7
+
+
+## PdeTextAreaDefaults - default colors for the editor ##
+
+# foreground and background colors
+editor.fgcolor = #000000
+editor.bgcolor = #FFFFF2
+
+editor.gradient.top = #EC6800
+editor.gradient.bottom = #EC6800
+
+# highlight for the current line
+editor.linehighlight.color = #FFEAF0
+# highlight for the current line
+editor.linehighlight=true
+
+editor.caret.color = #000000
+# also used by EditorHeader
+editor.selection.color = #FFD6F0
+
+# little pooties at the end of lines that show where they finish
+editor.eolmarkers = false
+editor.eolmarkers.color = #999999
+
+# bracket/brace highlighting
+editor.brackethighlight = true
+editor.brackethighlight.color = #006699
+
+# colors for the custom scroll bar
+editor.scrollbar.thumb.enabled.color = #BC4000
+editor.scrollbar.thumb.rollover.color = #AD3200
+editor.scrollbar.thumb.pressed.color = #AD3200
+editor.scrollbar.color = #DC5B00
+
+
+## PdeTextAreaPainter - extras added to the editor ##
+
+editor.gutter.text.font = processing.mono,plain,11
+editor.gutter.text.color = #440000
+
+# bgcolor for the current (highlighted) line
+editor.gutter.linehighlight.color = #BC4000
+
+# squiggly line underneath errors in the editor
+editor.error.underline.color = #000000
+# squiggly line underneath warnings
+editor.warning.underline.color = #662140
+
+
+## MarkerColumn - shows ticks adjacent the scroll bar ##
+
+# lines next to the scrollbar showing where errors are located
+editor.column.error.color = #ff5355
+editor.column.warning.color = #fed456
+
+
+## ErrorTable - the list of errors in the second tab found in the console area ##
+
+errors.header.font = processing.sans,plain,12
+errors.header.bgcolor = #ebebeb
+errors.header.fgcolor = #484848
+errors.row.font = processing.sans,plain,12
+errors.row.fgcolor = #484848
+errors.row.bgcolor = #ffffff
+errors.selection.fgcolor = #242424
+errors.selection.bgcolor = #e5e5e5
+errors.selection.error.bgcolor = #f5e6e6
+errors.selection.warning.bgcolor = #fdf2e7
+errors.indicator.error.color = #9e0a0a
+errors.indicator.warning.color = #ef8115
+
+
+## ManagerTabs - tabs in the Contribution Manager ##
+
+manager.tab.selected.color = #FFC67F
+manager.tab.unselected.color = #FFA55F
+manager.tab.text.font = processing.sans,bold,14
+manager.tab.text.selected.color = #5E0B36
+manager.tab.text.unselected.color = #984E1A
+manager.tab.gradient.top = #EC6800
+manager.tab.gradient.bottom = #EC6800
+
+
+## ManagerFrame - main window for the Contribution Manager ##
+
+# same as manager.tab.gradient.top, because .bottom is between the tabs
+manager.tab.background = #EC6800
+
+
+## ZoomTreeCellRenderer - tree for Examples and Sketchbook windows ##
+
+tree.font = processing.sans,plain,12
+
+
+## Token - colors for source code in the editor ##
+
+# For an explanation of these tags, see Token.java:
+# processing/app/src/processing/app/syntax/Token.java
+
+editor.token.function1.style = #006699,plain
+editor.token.function2.style = #006699,plain
+editor.token.function3.style = #669900,plain
+editor.token.function4.style = #006699,bold
+
+editor.token.keyword1.style = #33997e,plain
+editor.token.keyword2.style = #33997e,plain
+editor.token.keyword3.style = #669900,plain
+editor.token.keyword4.style = #d94a7a,plain
+editor.token.keyword5.style = #e2661a,plain
+editor.token.keyword6.style = #33997e,plain
+
+editor.token.literal1.style = #7D4793,plain
+editor.token.literal2.style = #718a62,plain
+
+editor.token.operator.style = #006699,plain
+
+editor.token.label.style = #666666,bold
+
+editor.token.comment1.style = #666666,plain
+editor.token.comment2.style = #666666,plain
+
+editor.token.invalid.style = #666666,bold