diff --git a/doc_src/user_doc.css b/doc_src/user_doc.css
index 2ac484ca0..f92f300cd 100644
--- a/doc_src/user_doc.css
+++ b/doc_src/user_doc.css
@@ -9,7 +9,6 @@ html, body {
     color: #111;
 }
 body {
-    text-rendering: optimizeLegibility;
     overflow: hidden;
 }
 .logo {
@@ -96,9 +95,6 @@ a { color: #3d5cb3; }
 .fish_right_bar ul li {
     margin-bottom: 0.6rem;
 }
-.fish_right_bar p > code {
-    display: inline-block;
-}
 /* Typography */
 p { margin: 1rem 0; }
 h1, h2, h3, h4, h5, h6 {
@@ -271,5 +267,3 @@ tt, code, pre, .fish {
     position: absolute;
     left: -2rem;
 }
-
-