Replaced <acronym> with <abbr> in Doc.html for HTML5 validity

1 files changed, 1 insertions, 4 deletions

diff --git a/docs.css b/docs.css
index 7e15537419..a2c57665f1 100644
--- a/docs.css
+++ b/docs.css
@@ -63,11 +63,8 @@ ul#footer {
     color: #c19e66;
 }
 
-abbr, acronym {
+abbr {
     border-bottom: 1px dotted;
-}
-
-abbr, acronym {
     cursor: help;
 }