Fix styling errors

3 files changed, 17 insertions, 28 deletions

diff --git a/about.html b/about.html
index 59bce9b..24fd062 100644
--- a/about.html
+++ b/about.html
@@ -33,7 +33,7 @@
             </div>
         </header>
         <div id="body">
-        <p>
+        <p align="center">
             This page is still <u>under construction</u>, so have some oldschool gifs instead.
         </p>
         <p align="center">
diff --git a/research.html b/research.html
index e4c9325..400dc9b 100644
--- a/research.html
+++ b/research.html
@@ -46,7 +46,6 @@
                 <!-- <a href="#blog">Blog</a> -->
             </div>
         </header>
-        <div id="body">
         <p>
             Here is my <a class="highlight" href="resources/cv/cv_igne.pdf">CV</a> (along with the longer <a class="highlight" href="resources/cv/cv_igne_academic.pdf">academic version</a>).
         </p>
@@ -121,22 +120,21 @@
             34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom (<a class="hovering" href="https://dblp.uni-trier.de/rec/conf/iclp/IgneDP18.html?view=bibtex&amp;param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne1.pdf">PDF</a>).
         </p>
         </div>
-        </div>
     </body>
     <footer>
         <p>
             email [at] federicoigne [dot] com
             &#x00b7;
-            <a href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">0xEC5C93EE812ACE50</a>
+            <a class="hovering" href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">0xEC5C93EE812ACE50</a>
         </p>
         <p>
-            <a href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">keyoxide</a>
+            <a class="hovering" href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">keyoxide</a>
             &#x00b7;
-            <a href="https://matrix.to/#/@dyamon:matrix.dyamon.me">matrix</a>
+            <a class="hovering" href="https://matrix.to/#/@dyamon:matrix.dyamon.me">matrix</a>
             &#x00b7;
-            <a href="https://fosstodon.org/@dyamon">fediverse</a>
+            <a class="hovering" href="https://fosstodon.org/@dyamon">fediverse</a>
             &#x00b7;
-            <a href="https://github.com/dyamon">github</a>
+            <a class="hovering" href="https://github.com/dyamon">github</a>
         </p>
         <div class="copyright">
             <a href="http://creativecommons.org/licenses/by-sa/4.0/">
diff --git a/style.css b/style.css
index 4019fa0..b3bb36c 100644
--- a/style.css
+++ b/style.css
@@ -46,7 +46,7 @@ body {
   padding-left: 50px;
   padding-right: 50px;
   padding-top: 50px;
-  padding-bottom: 25px;
+  padding-bottom: 15px;
   hyphens: auto;
   word-wrap: break-word;
   text-rendering: optimizeLegibility;
@@ -61,32 +61,19 @@ a {
   color: var(--fg);
 }
 a:visited {
-  color: var(--fg);
+  color: var(--fg)
 }
-
 img {
   max-width: 100%;
 }
-
 h1 {
     font-size: 150%;
 }
-
 code {
   font-family: 'LinuxLibertineMono'; 
   font-size: 75%;
   margin: 0;
 }
-
-pre {
-  margin: 1em 0;
-  overflow: auto;
-}
-pre code {
-  padding: 0;
-  overflow: visible;
-}
-
 header {
   padding-bottom: 25px;
   text-align: center;
@@ -122,7 +109,6 @@ header {
 a {
   text-decoration: none;
 }
-
 /* http://www.coding-dude.com/wp/css/highlight-text-css/ */
 .highlight{
   position:relative;
@@ -163,16 +149,16 @@ a {
   border-radius:0.25em;
 }
 
+
 footer {
   font-family: 'LinuxLibertineItalic'; 
   font-weight: normal;
   font-style: italic;
   font-size: 16px;
+  line-height: .8em;
   text-align: center;
-  padding-top: 5px;
+  padding-top: 5px
 }
-footer p {
-  margin: 0.6em auto;
 
 a.hovering {
     position:relative
@@ -195,6 +181,10 @@ a.hovering:hover:before {
   opacity:0.5;
 }
 
+.copyright{
+  margin: 20px;
+}
+
 .nav {
   font-family: 'LinuxLibertineItalic'; 
   font-weight: normal;
@@ -224,7 +214,7 @@ a.hovering:hover:before {
 }
 
 .bib {
-    font-size: 75%;
+    font-size: 80%;
 }
 
 /* #body a.hovering::after { */
@@ -238,3 +228,4 @@ a.hovering:hover:before {
 /*         background-size: contain; */
 /*         display: inline-block; */
 /* } */
+