Simplify and bring back the grid mixin for generating spans and offsets

1 files changed, 46 insertions, 40 deletions

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index d67aa9b15..016c320e1 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -731,71 +731,77 @@ pre code {
   [class^="span"] {
     float: left;
   }
-  .span1 {
-    width: 8.3333333%;
+  .span12 {
+    width: 100%;
   }
-  .span2 {
-    width: 16.6666667%;
+  .span11 {
+    width: 91.66666666666666%;
   }
-  .span3 {
-    width: 25%;
+  .span10 {
+    width: 83.33333333333334%;
   }
-  .span4 {
-    width: 33.3333333%;
+  .span9 {
+    width: 75%;
   }
-  .span5 {
-    width: 41.666666667%;
+  .span8 {
+    width: 66.66666666666666%;
+  }
+  .span7 {
+    width: 58.333333333333336%;
   }
   .span6 {
     width: 50%;
   }
-  .span7 {
-    width: 58.333333333%;
+  .span5 {
+    width: 41.66666666666667%;
   }
-  .span8 {
-    width: 66.666666667%;
+  .span4 {
+    width: 33.33333333333333%;
   }
-  .span9 {
-    width: 75%;
+  .span3 {
+    width: 25%;
   }
-  .span10 {
-    width: 83.333333333%;
+  .span2 {
+    width: 16.666666666666664%;
   }
-  .span11 {
-    width: 91.666666667%;
+  .span1 {
+    width: 8.333333333333332%;
   }
-  .offset1 {
-    margin-left: 8.3333333%;
+  .offset12 {
+    margin-left: 100%;
   }
-  .offset2 {
-    margin-left: 16.6666667%;
+  .offset11 {
+    margin-left: 91.66666666666666%;
   }
-  .offset3 {
-    margin-left: 25%;
+  .offset10 {
+    margin-left: 83.33333333333334%;
   }
-  .offset4 {
-    margin-left: 33.3333333%;
+  .offset9 {
+    margin-left: 75%;
   }
-  .offset5 {
-    margin-left: 41.666666667%;
+  .offset8 {
+    margin-left: 66.66666666666666%;
+  }
+  .offset7 {
+    margin-left: 58.333333333333336%;
   }
   .offset6 {
     margin-left: 50%;
   }
-  .offset7 {
-    margin-left: 58.333333333%;
+  .offset5 {
+    margin-left: 41.66666666666667%;
   }
-  .offset8 {
-    margin-left: 66.666666667%;
+  .offset4 {
+    margin-left: 33.33333333333333%;
   }
-  .offset9 {
-    margin-left: 75%;
+  .offset3 {
+    margin-left: 25%;
   }
-  .offset10 {
-    margin-left: 83.333333333%;
+  .offset2 {
+    margin-left: 16.666666666666664%;
   }
-  .offset11 {
-    margin-left: 91.666666667%;
+  .offset1 {
+    margin-left: 8.333333333333332%;
   }
 }