run make after that breadcrumbs tweak

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index fb44326f706cad6fa45c0617615442a70899adbb..52bd999ae210284ad4649079f2abce206dc74b38 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -3982,6 +3982,10 @@ button.close {
   content: "\00a0 /";
 }
 
+.breadcrumb > li:last-child:after {
+  content: "";
+}
+
 .breadcrumb > .active {
   color: #999999;
 }