Initial font awesome work

2026-07-31 16:23:50 +02:00 · 2015-03-30 12:21:59 +01:00
parent c7d262d2b1
commit 24ac018114
11 changed files with 2403 additions and 30 deletions
@@ -2,6 +2,8 @@ body {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  margin: 0px;
  padding: 0px;
+  padding-bottom: 50px;
+  padding-top: 50px;
  background: rgb(255,255,255); /* Old browsers */
  color: #555;
  font-size: 10pt;
@@ -1610,6 +1612,7 @@ tr.search:nth-child(odd) {
  padding-top: 8px !important;
 }

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