From 04786dcff3d326e03e62710ccc477095146c72e0 Mon Sep 17 00:00:00 2001
From: Tom Wiesing <tkw01536@gmail.com>
Date: Tue, 9 May 2017 04:03:38 +0200
Subject: [PATCH] Update layout for courses
---
_layouts/course.html | 18 +++++++++++++-----
teaching/AIProj.md | 17 ++++++-----------
2 files changed, 19 insertions(+), 16 deletions(-)
diff --git a/_layouts/course.html b/_layouts/course.html
index f09d6e1..53c70c7 100644
--- a/_layouts/course.html
+++ b/_layouts/course.html
@@ -2,8 +2,16 @@
layout: default
---
-<div class="page">
- <h1 class="page-title">{{page.title}} ({{page.taught}})</h1>
- <h2>{{page.instructor}}</h2>
- {{ content }}
-</div>
+<div class="row">
+ <div class="col s12 m5 right">
+ <div class="card">
+ <div class="card-content">
+ <span class="card-title">{{page.title}} ({{page.taught}})</span>
+ <p>{{page.instructor}}</p>
+ </div>
+ </div>
+ </div>
+ <p>
+ {{content}}
+ </p>
+</div>
\ No newline at end of file
diff --git a/teaching/AIProj.md b/teaching/AIProj.md
index f417cfd..d5c858a 100644
--- a/teaching/AIProj.md
+++ b/teaching/AIProj.md
@@ -6,15 +6,10 @@ menu_title: KI-Projekt
taught: WS16/17, SS16
---
-The KWARC group (Wissensrepräsentation und Verarbeitung)conducts research in knowledge
-representation and reasoning techniques with a view towards applications in knowledge
-management. We extend techniques from formal methods so that they can be used in settings
-where formalization is either infeasible or too costly. We concentrate on developing
-techniques for marking up the structural semantics in technical documents. This level of
-markup allows for offering interesting knowledge management services without forcing the
-author to formalize the document contents. In contrast to courses with fixed topics,
-project topics are defined individually.
+The KWARC group (Wissensrepräsentation und Verarbeitung)conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management.
+We extend techniques from formal methods so that they can be used in settings where formalization is either infeasible or too costly.
+We concentrate on developing techniques for marking up the structural semantics in technical documents.
+This level of markup allows for offering interesting knowledge management services without forcing theauthor to formalize the document contents.
+In contrast to courses with fixed topics, project topics are defined individually.
-See the [KWARC home page](http://kwarc.info) for a general introduction to the research
-and [the KWARC research topics list](http://gl.kwarc.info/kwarc/thesis-projects) for
-expemplary topics.
+See the [KWARC home page](http://kwarc.info) for a general introduction to the research and [the KWARC research topics list](http://gl.kwarc.info/kwarc/thesis-projects) for expemplary topics.
--
GitLab