From fb345c5f0c52f1618333c5f5cea0b63d2fa27d05 Mon Sep 17 00:00:00 2001
From: YNH Webdev <ynhwebdev@gmail.com>
Date: Thu, 5 Sep 2013 16:27:55 +0200
Subject: [PATCH] Add bootstrap

---
 library/server/wsf_html/webcontrol/wsf_page_control.e | 1 +
 1 file changed, 1 insertion(+)

diff --git a/library/server/wsf_html/webcontrol/wsf_page_control.e b/library/server/wsf_html/webcontrol/wsf_page_control.e
index a0d9ca51..1c21c4f3 100644
--- a/library/server/wsf_html/webcontrol/wsf_page_control.e
+++ b/library/server/wsf_html/webcontrol/wsf_page_control.e
@@ -84,6 +84,7 @@ feature
 			data.append (";</script>")
 			data.append ("<script src=%"//ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js%"></script>")
 			data.append ("<script src=%"/widget.js%"></script>")
+			data.append ("<link href=%"//netdna.bootstrapcdn.com/bootstrap/3.0.0/css/bootstrap.min.css%" rel=%"stylesheet%">")
 			data.append ("</body></html>")
 			create page.make
 			page.put_header ({HTTP_STATUS_CODE}.ok, <<["Content-Type", "text/html"]>>)