diff --git a/build/shared/lib/theme/Alloys/agpalilik.txt b/build/shared/lib/theme/Alloys/agpalilik.txt index 157afaa04d..bdbb112977 100644 --- a/build/shared/lib/theme/Alloys/agpalilik.txt +++ b/build/shared/lib/theme/Alloys/agpalilik.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #0066C5 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #C0FFFF # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/armanty.txt b/build/shared/lib/theme/Alloys/armanty.txt index 7a2af81222..1ab7631b71 100644 --- a/build/shared/lib/theme/Alloys/armanty.txt +++ b/build/shared/lib/theme/Alloys/armanty.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #834548 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #FFEBEC # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/bacubirito.txt b/build/shared/lib/theme/Alloys/bacubirito.txt index d215ef3398..8ff01f7986 100644 --- a/build/shared/lib/theme/Alloys/bacubirito.txt +++ b/build/shared/lib/theme/Alloys/bacubirito.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #49D0A7 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #1A0300 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/bondoc.txt b/build/shared/lib/theme/Alloys/bondoc.txt index 7f9106cecb..c351bbc947 100644 --- a/build/shared/lib/theme/Alloys/bondoc.txt +++ b/build/shared/lib/theme/Alloys/bondoc.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #431D29 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #FFF2FF # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/brahin.txt b/build/shared/lib/theme/Alloys/brahin.txt index e371cbfb15..e95468b4e4 100644 --- a/build/shared/lib/theme/Alloys/brahin.txt +++ b/build/shared/lib/theme/Alloys/brahin.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #47502C ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #FBFFD7 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/esquel.txt b/build/shared/lib/theme/Alloys/esquel.txt index 7db8de73cc..219c1aef46 100644 --- a/build/shared/lib/theme/Alloys/esquel.txt +++ b/build/shared/lib/theme/Alloys/esquel.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #978FAC ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #540000 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/gancedo.txt b/build/shared/lib/theme/Alloys/gancedo.txt index 4a0da3de4e..5ca9496baa 100644 --- a/build/shared/lib/theme/Alloys/gancedo.txt +++ b/build/shared/lib/theme/Alloys/gancedo.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #9D0038 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #FFE8FF # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/hoba.txt b/build/shared/lib/theme/Alloys/hoba.txt index 948b0a30e1..120e4ead73 100644 --- a/build/shared/lib/theme/Alloys/hoba.txt +++ b/build/shared/lib/theme/Alloys/hoba.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #F07D44 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #3E0000 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/imilac.txt b/build/shared/lib/theme/Alloys/imilac.txt index a0aed27ab0..73a1c6abbb 100644 --- a/build/shared/lib/theme/Alloys/imilac.txt +++ b/build/shared/lib/theme/Alloys/imilac.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #E9E9E9 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #00003B # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/jepara.txt b/build/shared/lib/theme/Alloys/jepara.txt index 0fb5275539..9d2cdaf8b9 100644 --- a/build/shared/lib/theme/Alloys/jepara.txt +++ b/build/shared/lib/theme/Alloys/jepara.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #FF6E38 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #000049 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/mbozi.txt b/build/shared/lib/theme/Alloys/mbozi.txt index 3182db46a2..4c61676597 100644 --- a/build/shared/lib/theme/Alloys/mbozi.txt +++ b/build/shared/lib/theme/Alloys/mbozi.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #FF8F2F ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #470000 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/morito.txt b/build/shared/lib/theme/Alloys/morito.txt index 9ba4206887..3143971e79 100644 --- a/build/shared/lib/theme/Alloys/morito.txt +++ b/build/shared/lib/theme/Alloys/morito.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #697982 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #EFFFFF # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/omolon.txt b/build/shared/lib/theme/Alloys/omolon.txt index a545c5a82d..3780594ca3 100644 --- a/build/shared/lib/theme/Alloys/omolon.txt +++ b/build/shared/lib/theme/Alloys/omolon.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #4E535A ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #FAFFFF # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/seymchan.txt b/build/shared/lib/theme/Alloys/seymchan.txt index 3f2921107b..3cf21236fa 100644 --- a/build/shared/lib/theme/Alloys/seymchan.txt +++ b/build/shared/lib/theme/Alloys/seymchan.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #00593B ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #B7FFEA # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/tagish.txt b/build/shared/lib/theme/Alloys/tagish.txt index 33797a665f..c85b4f5027 100644 --- a/build/shared/lib/theme/Alloys/tagish.txt +++ b/build/shared/lib/theme/Alloys/tagish.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #A55134 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #FFFDFB # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Alloys/youxi.txt b/build/shared/lib/theme/Alloys/youxi.txt index 10ee680a04..aaf5d5fca9 100644 --- a/build/shared/lib/theme/Alloys/youxi.txt +++ b/build/shared/lib/theme/Alloys/youxi.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #008A50 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #CBFFEF # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/antimony.txt b/build/shared/lib/theme/Minerals/antimony.txt index 67f9fb351e..64910d7aca 100644 --- a/build/shared/lib/theme/Minerals/antimony.txt +++ b/build/shared/lib/theme/Minerals/antimony.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #092D38 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #E1FFFF # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/bauxite.txt b/build/shared/lib/theme/Minerals/bauxite.txt index 102be61587..cb80fb78a4 100644 --- a/build/shared/lib/theme/Minerals/bauxite.txt +++ b/build/shared/lib/theme/Minerals/bauxite.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #4A4E59 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #FAFEFF # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/beryl.txt b/build/shared/lib/theme/Minerals/beryl.txt index d332ee1483..a044b6fb36 100644 --- a/build/shared/lib/theme/Minerals/beryl.txt +++ b/build/shared/lib/theme/Minerals/beryl.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #00926F ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #001E00 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/calcite.txt b/build/shared/lib/theme/Minerals/calcite.txt index a48957eb79..c83b110526 100644 --- a/build/shared/lib/theme/Minerals/calcite.txt +++ b/build/shared/lib/theme/Minerals/calcite.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #B9BDC4 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #000009 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/feldspar.txt b/build/shared/lib/theme/Minerals/feldspar.txt index 11d2ee52c8..1ef3f17406 100644 --- a/build/shared/lib/theme/Minerals/feldspar.txt +++ b/build/shared/lib/theme/Minerals/feldspar.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #BD8A68 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #270000 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/fluorite.txt b/build/shared/lib/theme/Minerals/fluorite.txt index e354d22621..4912d0dc24 100644 --- a/build/shared/lib/theme/Minerals/fluorite.txt +++ b/build/shared/lib/theme/Minerals/fluorite.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #402563 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #FFEFFF # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/gabbro.txt b/build/shared/lib/theme/Minerals/gabbro.txt index 1c84a5719c..e281828754 100644 --- a/build/shared/lib/theme/Minerals/gabbro.txt +++ b/build/shared/lib/theme/Minerals/gabbro.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #7A896D ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #000700 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/galena.txt b/build/shared/lib/theme/Minerals/galena.txt index 94d91edbd1..d4d38c0db4 100644 --- a/build/shared/lib/theme/Minerals/galena.txt +++ b/build/shared/lib/theme/Minerals/galena.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #6C7076 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #000009 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/garnet.txt b/build/shared/lib/theme/Minerals/garnet.txt index c7501bcff6..415e9850a4 100644 --- a/build/shared/lib/theme/Minerals/garnet.txt +++ b/build/shared/lib/theme/Minerals/garnet.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #973542 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #FFEFF2 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/jasper.txt b/build/shared/lib/theme/Minerals/jasper.txt index a32bcd8501..b757f7478c 100644 --- a/build/shared/lib/theme/Minerals/jasper.txt +++ b/build/shared/lib/theme/Minerals/jasper.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #CC383C ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #fbb5b5 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/kyanite.txt b/build/shared/lib/theme/Minerals/kyanite.txt index 6cd8c76ac1..18b7e11f02 100644 --- a/build/shared/lib/theme/Minerals/kyanite.txt +++ b/build/shared/lib/theme/Minerals/kyanite.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #5E93BF ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #000833 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/malachite.txt b/build/shared/lib/theme/Minerals/malachite.txt index 3a4b6182d3..194b867543 100644 --- a/build/shared/lib/theme/Minerals/malachite.txt +++ b/build/shared/lib/theme/Minerals/malachite.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #313E38 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #F2FFFA # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/olivine.txt b/build/shared/lib/theme/Minerals/olivine.txt index c5d711cbad..d20eda860f 100644 --- a/build/shared/lib/theme/Minerals/olivine.txt +++ b/build/shared/lib/theme/Minerals/olivine.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #869F36 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #000D00 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/orpiment.txt b/build/shared/lib/theme/Minerals/orpiment.txt index a7f73cb784..5ac0abb744 100644 --- a/build/shared/lib/theme/Minerals/orpiment.txt +++ b/build/shared/lib/theme/Minerals/orpiment.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #EFBA4E ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #2D0000 # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/pyrite.txt b/build/shared/lib/theme/Minerals/pyrite.txt index 43bc2079e1..1f00c8e0bb 100644 --- a/build/shared/lib/theme/Minerals/pyrite.txt +++ b/build/shared/lib/theme/Minerals/pyrite.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #06545D ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #C9FFFF # transparency (0..100) for line numbers in gutter diff --git a/build/shared/lib/theme/Minerals/serandite.txt b/build/shared/lib/theme/Minerals/serandite.txt index 6f692fa6ab..b7339d0326 100644 --- a/build/shared/lib/theme/Minerals/serandite.txt +++ b/build/shared/lib/theme/Minerals/serandite.txt @@ -161,7 +161,7 @@ editor.scrollbar.color = #DE5C25 ## PdeTextAreaPainter - extras added to the editor ## -editor.gutter.text.font = processing.mono,bold,16 +editor.gutter.text.font = processing.mono,bold,12 editor.gutter.text.color = #440000 # transparency (0..100) for line numbers in gutter