We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a1b0e6d commit a267571Copy full SHA for a267571
docs/css/webots-doc.css
@@ -917,6 +917,13 @@ body {
917
.webots-doc g foreignObject div a {
918
font-family: Tahoma, Arial, sans-serif; /* mermaidjs is quite sensitive to the font used and it's size */
919
font-size: 100%;
920
+ text-decoration: underline;
921
+}
922
+
923
+.webots-doc g foreignObject div a:active,
924
+.webots-doc g foreignObject div a:focus,
925
+.webots-doc g foreignObject div a:hover {
926
927
}
928
929
.webots-doc .mermaid {
0 commit comments