Due to the increased number of bars, color of bars becomes hard to
see. Unfortunately, gnuplot doesn't provide a means to specify
histogram's border width.
As a compromise, to make border appear relatively thinner, enlarge
plot and font sizes and thicken the ratio plot.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
CodeSamples/formal/data/plot.sh | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/CodeSamples/formal/data/plot.sh b/CodeSamples/formal/data/plot.sh
index e91c9126b6bc..30340dbf8e18 100644
--- a/CodeSamples/formal/data/plot.sh
+++ b/CodeSamples/formal/data/plot.sh
@@ -1,8 +1,8 @@
#!/bin/sh
-fontsize=8
-plotsize=0.5
-przsize="nosquare 0.8,0.25"
+fontsize=12
+plotsize=1
+przsize="nosquare 1.2,0.375"
font=`kpsewhich uhvr8a.pfb`
gnuplot << ---EOF---
@@ -34,7 +34,7 @@ set style line 1 \
# Set linestyle 2
set style line 2 \
- linetype 4 lc 'dark-red' linewidth 1 \
+ linetype 4 lc 'dark-red' linewidth 1.5 \
pointtype 8 pointsize 0.5
#plot 'rcu-test.dat' using 0:xtic(1), for [i=2:3] '' using i linestyle 1
--
2.25.1
