From f923c15d2f3326a86569f0eec8ba5bb6740ba7df Mon Sep 17 00:00:00 2001
From: Charles Dang <exodia339@gmail.com>
Date: Fri, 13 Oct 2017 22:08:45 +1100
Subject: [PATCH] Game Stats: tweaked controller text display

---
 src/gui/dialogs/game_stats.cpp | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/gui/dialogs/game_stats.cpp b/src/gui/dialogs/game_stats.cpp
index 8cfea5eac40a8..ed14d1878786f 100644
--- a/src/gui/dialogs/game_stats.cpp
+++ b/src/gui/dialogs/game_stats.cpp
@@ -74,9 +74,10 @@ unit_const_ptr game_stats::get_leader(const int side)
 	return nullptr;
 }
 
-static std::string controller_name(const team& t) {
-	static const t_string names[3] {_("controller^Human"), _("controller^Computer"), _("controller^Idle")};
-	return "    <span color='#808080'>(" + names[t.controller().v] + ")</span>";
+static std::string controller_name(const team& t)
+{
+	static const std::array<t_string, 3> names {_("controller^Human"), _("controller^AI"), _("controller^Idle")};
+	return "<span color='#808080'><small>" + names[t.controller().v] + "</small></span>";
 }
 
 void game_stats::pre_show(window& window)