commit 940100d11e52444af32338e3e840711f8192c0ef
Author: Leszek Koltunski <leszek@koltunski.pl>
Date:   Tue Sep 15 12:10:32 2020 +0100

    Minor.

diff --git a/src/main/java/org/distorted/objects/RubikDino.java b/src/main/java/org/distorted/objects/RubikDino.java
index 1eed8c20..67b088d4 100644
--- a/src/main/java/org/distorted/objects/RubikDino.java
+++ b/src/main/java/org/distorted/objects/RubikDino.java
@@ -316,7 +316,7 @@ public class RubikDino extends RubikObject
 
   void createFaceTexture(Canvas canvas, Paint paint, int face, int left, int top, int side)
     {
-    float STROKE = 0.044f*side;
+    float STROKE = 0.046f*side;
     float OFF = STROKE/2 -1;
     float OFF2 = 0.5f*side + OFF;
     float HEIGHT = side - OFF;