webpage fix logo style

This commit is contained in:
Johann Dreo 2020-05-11 10:34:10 +02:00
commit 73f0fc6bc8
2 changed files with 26 additions and 18 deletions

View file

@ -20,13 +20,7 @@
<body>
<div id="alt">
<img
id="logo"
style="clear:left;"
src="website/paradiseo_logo_200px.png"
srcset="website/paradiseo_logo.svg"
width="100%"
alt="ParadisEO logo" />
<div id="header_logo"><em class="logo">Paradis<span class="logo_eo">eo</span></em></div>
<p id="slogan">Fast &amp; full featured optimization heuristics framework</p>
<nav id="menu">

View file

@ -11,7 +11,7 @@ body {
color: #333333;
font-family:Arial, sans-serif;
background:url("fronde.png");
/* background:url("fronde.png"); */
background-image:url("eo_logo_fronde.svg");
background-repeat:no-repeat;
background-position:bottom right;
@ -70,6 +70,20 @@ pre {
padding-bottom:1em;
}
#header_logo {
background-image:url("paradiseo_logo.svg");
height:30ch;
background-size: contain;
background-repeat: no-repeat;
background-position: center center;
text-align:center;
vertical-align:text-bottom;
}
#header_logo em.logo {
display:none;
}
#slogan {
text-align:center;
font-weight:normal;
@ -692,6 +706,15 @@ comment { display:none; }
@media only print {
#header_logo {
background-image:none;
height:100%;
}
#header_logo em.logo {
display:block;
font-size:5em;
}
body {
background:none;
font-size:11pt;
@ -739,15 +762,6 @@ comment { display:none; }
color:black;
}
#alt img {
width:50%;
margin-left:25%;
background-color:#3771c8;
border:thin solid black;
padding:1em;
border-radius:40px;
}
#shortcuts {
display:none;
}
@ -816,7 +830,7 @@ comment { display:none; }
max-width: 30em;
margin-left:5%
}
#cmaes * {
background-color:white;
}