# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1419598854 18000
# Node ID 9348899347236465c376257c986a8f6ef8ee836a
# Parent  2e83294f40978c38c9b6a6c35315e1bda123702b
More CSS classes

diff -r 2e83294f4097 -r 934889934723 bootstrap3.ur
--- a/bootstrap3.ur	Wed Dec 24 12:35:42 2014 -0500
+++ b/bootstrap3.ur	Fri Dec 26 08:00:54 2014 -0500
@@ -1,4 +1,8 @@
 style bs3_active
+style success
+style info
+style warning
+style danger
 style affix
 style bs3_alert
 style alert_danger
@@ -473,7 +477,7 @@
 style modal_header
 style modal_open
 style modal_title
-style nav
+style bs3_nav
 style nav_justified
 style nav_pills
 style nav_stacked
@@ -562,3 +566,5 @@
 style well
 style well_lg
 style well_sm
+style collapsed
+style icon_bar