diff --git a/research/index.md b/research/index.md index 4f06255b1bbfba8580757b80a663a469f5ad6950..530206e2a06521ce5d417d38f48df819086289cb 100644 --- a/research/index.md +++ b/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. & 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,