table css

research/index.md

@@ -11,9 +11,9 @@ menu_order: 101
  All in all, the research in the KWARC group is summarized in the schema below, which can be read as a pipeline from foundations (on the bottom) to applications (on the top).
 
 
-<table>
+<table style="border: 1px solid black">
   <tbody>
-    <tr>
+    <tr style="border: 1px solid black">
       <td colspan="3">
     <span style="font-weight:bold">Applications</span>
     eMath 3.0,
@@ -24,7 +24,7 @@ menu_order: 101
       </td>
     </tr>
     <tr>
-      <td>
+      <td style="border: 1px solid black">
     <span style="font-weight:bold">Foundations of Mathematics</span>
     <ul>
       <li><a href="https://omdoc.org">OMDoc</a></li>
@@ -34,7 +34,7 @@ menu_order: 101
       <li><a href="/projects/oaf/">Theorem Prover</a> and <a href="../projects/odk/">Computer Algebra</a>  Interoperability</li>
     </ul>
       </td>
-      <td>
+      <td style="border: 1px solid black">
     <a href="research/kminteract"><span style="font-weight:bold">Knowledge Mgt. &amp; Interaction</span></a>
     <ul>
       <li>Semantic Interpretation</li>
@@ -44,7 +44,7 @@ menu_order: 101
       <li>Math Archives</li>
     </ul>
       </td>
-      <td>
+      <td style="border: 1px solid black">
     <a href="research/semantization">
       <span style="font-weight:bold">Semantization</span>
     </a>
@@ -58,7 +58,7 @@ menu_order: 101
     </ul>
       </td>
     </tr>
-    <tr>
+    <tr style="border: 1px solid black">
       <td colspan="3">
     <span style="font-weight:bold">Foundations:</span>
     Computational Logic,