adding logos

projects/FormalCAD.md

@@ -19,6 +19,7 @@ people:
 collaborators:
     - Lutz Schröder, FAU Erlangen
 
+logo: public/dfg_logo.svg
 funding: DFG
 program: Normalverfahren
 grantid: KO 2428/12-1

projects/almanac.md

@@ -15,6 +15,7 @@ people:
     - dmueller
 
 funding: DFG
+logo: public/dfg_logo.svg
 program: Normalverfahren
 grantid: KO 2428/18
 proposal: http://kwarc.info/kohlhase/projects/almanac.pdf

projects/jem.md

@@ -15,6 +15,7 @@ people:
     - nmueller 
     - cmueller 
 
+logo: public/eu_logo.png
 funding: EU
 program: eContentPlus Thematic Network
 

projects/latin.md

@@ -19,6 +19,7 @@ people:
 collaborators:
     - Till Mossakowski, DFKI Bremen
 
+logo: public/dfg_logo.svg
 funding: DFG
 program: Normalverfahren
 grantid: KO 2428/9-1

projects/oaf.md

@@ -16,6 +16,7 @@ people:
     - dmueller
     - jbetzendahl
 
+logo: public/dfg_logo.svg
 funding: DFG
 program: Normalverfahren
 grantid: KO 2428/13-1

projects/odk.md

@@ -19,6 +19,7 @@ people:
     - cmaeder
     - dmueller
 
+logo: public/eu_logo.png
 funding: EU
 program: Research Infrastructure
 grantid: 676541

projects/omoc.md

@@ -17,6 +17,7 @@ people:
 collaborators:
     - Dieter Hutter, DFKI Bremen
 
+logo: public/dfg_logo.svg
 funding: DFG
 program: Normalverfahren
 grantid: KO 2428/8-1

projects/once-cs.md

@@ -14,6 +14,7 @@ people:
     - mkohlhase
     - nmueller
 
+logo: public/eu_logo.png
 funding: EU
 program: FET
 ---

projects/openmath-tn.md

@@ -13,6 +13,7 @@ people:
     - mkohlhase
     - nmueller
 
+logo: public/eu_logo.png
 funding: EU
 program: IST Thematic Netork
 grantid:  IST-2000-29719

projects/sissi.md

@@ -18,6 +18,7 @@ people:
 collaborators:
     - Dr. Dieter Hutter, DFKI Bremen
 
+logo: public/dfg_logo.svg
 funding: DFG
 program: Normalverfahren
 grantid: KO 2428/10-1

public/dfg_logo.svg

+<?xml version="1.0" encoding="utf-8"?>
+<!-- Generator: Adobe Illustrator 16.0.0, SVG Export Plug-In . SVG Version: 6.00 Build 0)  -->
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
+	 width="869.444px" height="306.23px" viewBox="0 0 869.444 306.23" enable-background="new 0 0 869.444 306.23"
+	 xml:space="preserve">
+<g>
+	<path fill="#00529D" d="M125.077,127.64c0,0,0,94.69,0,94.69h24.455c8.76,0,15.998-1.46,21.718-4.38
+		c5.714-2.92,10.157-7.117,13.322-12.592c3.16-5.475,5.35-12.285,6.57-20.44c1.215-8.15,1.825-21.579,1.825-32.29
+		c0-10.95-0.673-25.562-2.007-33.837c-1.34-8.27-3.65-15.205-6.935-20.805c-3.285-5.595-7.728-9.792-13.323-12.592
+		c-5.6-2.794-12.775-4.198-21.535-4.198h-24.09l-97.643,0.123l-0.177-54.25h143.445c18.25,0,34.978,1.825,50.188,5.475
+		c15.205,3.65,28.345,10.283,39.42,19.893c11.069,9.615,19.647,22.692,25.732,39.237c6.08,16.55,9.125,37.721,9.125,63.51
+		c0,24.09-3.285,44.228-9.855,60.407c-6.57,16.186-15.575,29.2-27.01,39.055c-11.44,9.855-25.002,16.853-40.697,20.987
+		c-15.695,4.141-32.667,6.205-50.917,6.205H27.258V127.642L125.077,127.64z"/>
+	<path fill="#00529D" d="M321.443,27.068h218.271v61.32H419.263v41.245h116.8v61.32h-116.8v90.885h-97.82V27.068z"/>
+	<path fill="#00529D" d="M796.903,272.348c-16.79,4.871-21.512,8.395-38.176,10.586c-16.671,2.189-35.103,3.284-55.298,3.284
+		c-21.17,0-33.998-2.8-52.488-8.395c-18.495-5.595-34.675-13.99-48.545-25.185c-13.87-11.189-24.763-25.305-32.667-42.34
+		c-7.91-17.029-11.863-36.865-11.863-59.495c0-21.409,4.135-40.087,12.41-56.027c8.27-15.935,19.346-29.257,33.215-39.967
+		c13.87-10.705,30.05-18.735,48.546-24.09c18.489-5.35,34.957-8.03,55.396-8.03c11.92,0,22.447,0.245,31.572,0.73
+		c9.125,0.49,13.391,1.095,20.816,1.825c7.42,0.73,14.235,1.706,20.44,2.92c6.205,1.22,12.347,2.555,18.432,4.015v68.62
+		c-7.06-4.135-16.55-7.602-28.47-10.402c-11.925-2.794-20.815-4.198-34.686-4.198c-12.171,0-23.178,1.523-33.033,4.562
+		c-9.854,3.045-15.31,7.545-22.364,13.505c-7.061,5.965-12.535,13.322-16.425,22.082c-3.896,8.76-5.84,18.98-5.84,30.66
+		c0,8.76,0.969,17.098,2.92,25.002c1.944,7.91,4.984,14.908,9.125,20.988c4.135,6.085,9.609,10.893,16.425,14.417
+		c6.81,3.53,8.078,5.292,17.813,5.292c3.404,0,6.991-0.057,10.768-0.183c3.77-0.12,7.117-0.787,10.037-2.007v-67.89h71.938V272.348z
+		"/>
+</g>
+</svg>