From: Andre Noll Date: Sun, 31 Oct 2021 22:07:06 +0000 (+0100) Subject: web: The new logo for paraslash-0.7. X-Git-Tag: v0.7.0~1^2~9 X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=11ef37378848bcb590102ee448115629f2c9d8fe;p=paraslash.git web: The new logo for paraslash-0.7. This new svg logo was not made with a graphical editor but with a plain text exitor. Unfortunately, ImageMagick is unable to create a working .ico file from the svg source. Therefore we continue to carry a manually created .ico file in the repo. The new logo is less wide than the previous one, and it does not look nice when it floats to the right side of its tabular cell. Fortunately this can be fixed by removing some code from the style sheet. --- diff --git a/web/header.html b/web/header.html index a5d01204..4a40ee4f 100644 --- a/web/header.html +++ b/web/header.html @@ -12,7 +12,7 @@ - paraslash + paraslash diff --git a/web/header2.html b/web/header2.html index 98235b86..6a08e563 100644 --- a/web/header2.html +++ b/web/header2.html @@ -12,7 +12,7 @@ - paraslash + paraslash diff --git a/web/images/paraslash.ico b/web/images/paraslash.ico index 06ff0336..65a0dd69 100644 Binary files a/web/images/paraslash.ico and b/web/images/paraslash.ico differ diff --git a/web/images/paraslash.png b/web/images/paraslash.png deleted file mode 100644 index 804752cf..00000000 Binary files a/web/images/paraslash.png and /dev/null differ diff --git a/web/images/paraslash.svg b/web/images/paraslash.svg new file mode 100644 index 00000000..b0616a76 --- /dev/null +++ b/web/images/paraslash.svg @@ -0,0 +1,44 @@ + + + + + + + + + + + + + + + + + + diff --git a/web/para.css b/web/para.css index e8c43489..7bdf68ac 100644 --- a/web/para.css +++ b/web/para.css @@ -34,11 +34,6 @@ hr { border-top: 1px solid yellow; } -img { - float: right; - border-width: 0px; -} - caption { font-weight: bold } /* doxgen */