From 4d3ac519eda64046533e772c6fc07df4f06e4978 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 1 Jul 2017 15:19:23 +0200
Subject: [PATCH] table css
---
research/index.md | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/research/index.md b/research/index.md
index 4f06255..530206e 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,
--
GitLab