Travis CI update [skip ci]

VDVde · Oct 11, 2022 · 3e373d5 · 3e373d5
1 parent 1fb139d
commit 3e373d5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/generated/OJP.html b/docs/generated/OJP.html
@@ -28,9 +28,9 @@
 						left: 0.5em;
 						opacity: 0;
 
-						\-webkit-transition: opacity 0.2s ease-in-out 0.1s;
-						\-moz-transition: opacity 0.2s ease-in-out 0.1s;
-						\-ms-transition: opacity 0.2s ease-in-out 0.1s;
+						-webkit-transition: opacity 0.2s ease-in-out 0.1s;
+						-moz-transition: opacity 0.2s ease-in-out 0.1s;
+						-ms-transition: opacity 0.2s ease-in-out 0.1s;
 					}
 
 					h2:hover .header-link,