Fixes #2868, issue with grid animation after view source

Author: jlukic

server/files/stylesheets/docs.css

@@ -1117,13 +1117,16 @@ blockquote .author {
 }
 
 /* Animation */
+#example.animated .highlighted.example .html > .grid,
+#example.animated .animated.example .html > .grid,
 #example.animated .highlighted.example > .grid,
 #example.animated .animated.example > .grid {
   margin: -1rem auto;
   -webkit-animation: grid 7s ease infinite;
   -moz-animation: grid 7s ease infinite;
   animation: grid 7s ease infinite;
 }
+#example.animated .negative.example .html > .grid,
 #example.animated .negative.example > .grid {
   -webkit-animation: none;
   -moz-animation: none;
@@ -1936,13 +1939,6 @@ code .chunk {
 #example .following.menu .menu .active.item {
   font-weight: bold;
 }
-#example .following.menu .item .menu {
-  margin: 0em;
-}
-#example .following.menu .menu .item {
-  margin: 0em;
-  padding: 0.5rem 0.25rem;
-}
 
 /*******************************
            Advert