From d695e68b171109bb8a31c080a9334b509bb0edcd Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Mon, 19 Feb 2018 19:56:57 +0100
Subject: [PATCH] better formatting of indexes

---
 .../digital/draw/graphics/text/formatter/GraphicsFormatter.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/de/neemann/digital/draw/graphics/text/formatter/GraphicsFormatter.java b/src/main/java/de/neemann/digital/draw/graphics/text/formatter/GraphicsFormatter.java
index 8079e72af..975a71e9c 100644
--- a/src/main/java/de/neemann/digital/draw/graphics/text/formatter/GraphicsFormatter.java
+++ b/src/main/java/de/neemann/digital/draw/graphics/text/formatter/GraphicsFormatter.java
@@ -218,7 +218,7 @@ public final class GraphicsFormatter {
             dy = var.dy;
 
             int delta = var.dy / 3;
-            int ofs = var.dy / 6;
+            int ofs = var.dy / 8;
             if (superScript != null) {
                 superScript.x = var.dx;
                 superScript.y = -delta - ofs;