From 6e83501551e1beb9f16f3e1cbcb35e0a7a63ced8 Mon Sep 17 00:00:00 2001 From: cdujeu Date: Wed, 17 Jul 2013 11:35:55 +0200 Subject: [PATCH] Push Font-awesome CSS at the end of the page. There are still some performances issues for the very first loading, we must digg that. --- .../plugins/gui.ajax/res/themes/vision/html/gui.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/core/src/plugins/gui.ajax/res/themes/vision/html/gui.html b/core/src/plugins/gui.ajax/res/themes/vision/html/gui.html index 62fef716b5..0034708de4 100755 --- a/core/src/plugins/gui.ajax/res/themes/vision/html/gui.html +++ b/core/src/plugins/gui.ajax/res/themes/vision/html/gui.html @@ -4,12 +4,10 @@ AjaXplorer - - - - - + + +