1 files changed, 1 insertions, 1 deletions
diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index 00baa1a5f..02ab012c4 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -525,7 +525,7 @@ pre {
   display: block;
   padding: 8.5px;
   margin: 0 0 9px;
-  font-size: 12px;
+  font-size: 12.025px;
   line-height: 18px;
   background-color: #f5f5f5;
   border: 1px solid #ccc;