Merge pull request #1035 from Stefterv/reduce-line-number-size

Reducing the size of the line numbers

Author: SableRaf

Diff for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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 for: 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