small tweaks to the hover effect

diff --git a/docs/static/css/style.css b/docs/static/css/style.css
index 4cc5417530f4577e2d7767bf4dd7d1a5efe82190..44c83c3cf190d03ef13649ae3377772fac8742b1 100755 (executable)
--- a/docs/static/css/style.css
+++ b/docs/static/css/style.css
@@ -134,13 +134,13 @@ a, a:hover, a:focus {
 .panel-body a:after {
   display: block;
   content: "";
-  height: 2px;
+  height: 1px;
   width: 0%;
   background-color: #ff4088;
-  -webkit-transition: width 0.3s ease;
-  -moz-transition: width 0.3s ease;
-  -ms-transition: width 0.3s ease;
-  transition: width 0.3s ease;
+  -webkit-transition: width 0.5s ease;
+  -moz-transition: width 0.5s ease;
+  -ms-transition: width 0.5s ease;
+  transition: width 0.5s ease;
 }
 
 .panel-body a:hover:after, .panel-body a:focus:after {