Index: doc/_build/html/_static/pygments.css
===================================================================
diff -u -r22042fca85bb7d8aff51fa64f016c617050529e2 -r88542a30670f441872d6c5f35c041e2e253127a1
--- doc/_build/html/_static/pygments.css	(.../pygments.css)	(revision 22042fca85bb7d8aff51fa64f016c617050529e2)
+++ doc/_build/html/_static/pygments.css	(.../pygments.css)	(revision 88542a30670f441872d6c5f35c041e2e253127a1)
@@ -40,6 +40,7 @@
 .highlight .nv { color: #bb60d5 } /* Name.Variable */
 .highlight .ow { color: #007020; font-weight: bold } /* Operator.Word */
 .highlight .w { color: #bbbbbb } /* Text.Whitespace */
+.highlight .mb { color: #208050 } /* Literal.Number.Bin */
 .highlight .mf { color: #208050 } /* Literal.Number.Float */
 .highlight .mh { color: #208050 } /* Literal.Number.Hex */
 .highlight .mi { color: #208050 } /* Literal.Number.Integer */