Remove rendering of links to documentation

Signed-off-by: Paul-Elliot <peada@free.fr>

Author: panglesd

src/html/html_source.ml

@@ -24,31 +24,11 @@ let html_of_doc ~config ~resolve docs =
         let children = List.concat @@ List.map (doc_to_html ~is_in_a) docs in
         match info with
         | Syntax tok -> [ span ~a:[ a_class [ tok ] ] children ]
-        | Link { documentation; implementation } -> (
-            let href_implementation =
-              Option.map (Link.href ~config ~resolve) implementation
-            in
-            let href_documentation =
-              Option.map (Link.href ~config ~resolve) documentation
-            in
-            let body =
-              match href_implementation with
-              | Some href -> [ a ~a:[ a_href href ] children ]
-              | None -> children
-            in
-            match href_documentation with
-            | None -> body
-            | Some href ->
-                [
-                  span
-                    ~a:[ a_class [ "jump-to-doc-container" ] ]
-                    [
-                      span ~a:[] body;
-                      a
-                        ~a:[ a_href href; a_class [ "jump-to-doc" ] ]
-                        [ txt " 📖" ];
-                    ];
-                ])
+        (* Currently, we do not render links to documentation *)
+        | Link { documentation = _; implementation = None } -> children
+        | Link { documentation = _; implementation = Some anchor } ->
+            let href = Link.href ~config ~resolve anchor in
+            [ a ~a:[ a_href href ] children ]
         | Anchor lbl -> [ span ~a:[ a_id lbl ] children ])
   in
   span ~a:[] @@ List.concat @@ List.map (doc_to_html ~is_in_a:false) docs

src/html_support_files/odoc.css

@@ -1203,14 +1203,6 @@ td.def-doc *:first-child {
   color: #657b83;
 }
 
-.jump-to-doc-container:hover .jump-to-doc {
-  display: inline;
-}
-
-.jump-to-doc {
-  display: none;
-}
-
 /* Source directories */
 
 .odoc-directory::before {