diff --git a/projects/FormalCAD.md b/projects/FormalCAD.md index 80480134454f0ad1ce0ac5f2eaab0b83ecd8f278..da36f8b5b28afef491666aed3de3f9fd006f1760 100644 --- a/projects/FormalCAD.md +++ b/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 diff --git a/projects/almanac.md b/projects/almanac.md index eb0367283864eeafa6d4fba0bad77cddf0df5202..a86939d78097bfccb0200940de7676268bffb3d3 100644 --- a/projects/almanac.md +++ b/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 diff --git a/projects/jem.md b/projects/jem.md index 8762a9927ba5e2cc4441ba5b3410b3ecd2af9fd0..1c8371a6cdf2d014931a3f0004ae9dfd6d77c309 100644 --- a/projects/jem.md +++ b/projects/jem.md @@ -15,6 +15,7 @@ people: - nmueller - cmueller +logo: public/eu_logo.png funding: EU program: eContentPlus Thematic Network diff --git a/projects/latin.md b/projects/latin.md index 934f4f59f3b0ccff7a71fd2eec402f50a1dd77f1..19064d50ef72a7061ff25e65ad9e6e566deb58df 100644 --- a/projects/latin.md +++ b/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 diff --git a/projects/oaf.md b/projects/oaf.md index e730507398f5bba5847a81a39a3695f70a5bb6ad..684f990e7c08bb9f4b44ae9c53ab4e28417732e5 100644 --- a/projects/oaf.md +++ b/projects/oaf.md @@ -16,6 +16,7 @@ people: - dmueller - jbetzendahl +logo: public/dfg_logo.svg funding: DFG program: Normalverfahren grantid: KO 2428/13-1 diff --git a/projects/odk.md b/projects/odk.md index bf6a3bd6298cda41a8259310f0ab7a44dff27a8f..f0031139bc7e97d586ae5659c05725932c1cb9df 100644 --- a/projects/odk.md +++ b/projects/odk.md @@ -19,6 +19,7 @@ people: - cmaeder - dmueller +logo: public/eu_logo.png funding: EU program: Research Infrastructure grantid: 676541 diff --git a/projects/omoc.md b/projects/omoc.md index 163098f3843ce98eed561785beff2719c80a5652..a27cddfc57accfe2fb7c283ff4f5fb92e64fe4d0 100644 --- a/projects/omoc.md +++ b/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 diff --git a/projects/once-cs.md b/projects/once-cs.md index 4786ca9dfe353a7254524761d19f3a8953bbe224..ebb31e62fc13de02bcb177d262e9fa5d5f8e3e33 100644 --- a/projects/once-cs.md +++ b/projects/once-cs.md @@ -14,6 +14,7 @@ people: - mkohlhase - nmueller +logo: public/eu_logo.png funding: EU program: FET --- diff --git a/projects/openmath-tn.md b/projects/openmath-tn.md index cf65931871c8686c65266a399505167213c25711..6896aab1e8fd721b917f626c040e23c9be7c6b9a 100644 --- a/projects/openmath-tn.md +++ b/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 diff --git a/projects/sissi.md b/projects/sissi.md index 2241b8019bf2c5c691f92ede544394f8f23216a5..c07ee9363b60fb516e44217a3b0793cc9839591c 100644 --- a/projects/sissi.md +++ b/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 diff --git a/public/dfg_logo.svg b/public/dfg_logo.svg new file mode 100644 index 0000000000000000000000000000000000000000..6a69107f2a0f67cffa2240bf5e1438264000c981 --- /dev/null +++ b/public/dfg_logo.svg @@ -0,0 +1,27 @@ +<?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> diff --git a/public/eu_logo.png b/public/eu_logo.png new file mode 100644 index 0000000000000000000000000000000000000000..73cbb8f829f68843a432ba7995830ce3d6d97cc4 Binary files /dev/null and b/public/eu_logo.png differ