Adding files for final font-awesome PR

2026-07-27 16:08:55 +02:00 · 2015-03-30 12:22:24 +01:00
parent 24ac018114
commit 65f82ba00e
10 changed files with 137 additions and 110 deletions
@@ -1612,7 +1612,6 @@ tr.search:nth-child(odd) {
  padding-top: 8px !important;
 }

-<<<<<<< HEAD
 #visualization {
    width: 90%;
    height: 600px;