log

age author description
2016-03-18 Adam Chlipala Some new styles for carouselsdefault tip
2015-08-17 Adam Chlipala Add glyphicon-menu-*
2014-12-26 Adam Chlipala More CSS classes
2014-12-24 Adam Chlipala Add container-fluid
2014-05-28 Adam Chlipala Shorten .urp code for rewriting class names
2014-05-28 Patrick Hurst Add active and table.
2014-03-03 Patrick Hurst More BS3 things: label and form-control.
2014-03-03 Patrick Hurst Actually rewrite BS3 styles.
2014-03-01 Patrick Hurst Prefix conflicting BS3 classes with bs3_.
2014-03-01 Patrick Hurst Split into two libraries.
2014-02-19 Patrick Hurst Add active style to Bootstrap 3.
2013-12-05 Patrick Hurst Fix bootstrap/bootstrap3 conflicts.
2013-10-31 Patrick Hurst Add Bootstrap 3.
2013-05-26 David Snider Added a more comprehensive list of classes
2013-04-21 Adam Chlipala Update ofr new Ur/Web version
2012-05-13 Adam Chlipala Some initial classes