center all sponsor images in announcements

Signed-off-by: Birgit Brecknell <b@brck.nl>

Foundation/Summit/2024/index.html

@@ -351,7 +351,23 @@ <h3 id="summit-sponsors">
     We are grateful to the following sponsors for their financial support of the seL4 summit 2024.
   </p>
 </div>
-<div class="sponsors" style="padding-top:10px; padding-bottom:20px;">
+<div class="sponsors-1" style="padding-top:30px">
+  <div class="sponsor">
+    <div class="sponsor-pic">
+      <a href="https://www.kry10.com/">
+        <img src="../../Membership/LOGOS/Kry10.svg" style="width: 150px"
+            alt="Kry10 logo">
+      </a>
+    </div>
+    <div class="sponsor-name">
+      Kry10
+    </div>
+    <div class="sponsor-info"><div class="highlight">Gold sponsor</div>
+    </div>
+  </div>
+</div>
+
+<div class="sponsors-2" style="padding-top:10px; padding-bottom:20px;">
   <div class="sponsor">
     <div class="sponsor-pic">
       <a href="https://proofcraft.systems">
@@ -379,7 +395,7 @@ <h3 id="summit-sponsors">
   </div>
   </div>
 </div>
-<div class="sponsors" style="padding-bottom: 20px">
+<div class="sponsors-2" style="padding-bottom: 20px">
   <div class="sponsor">
     <div class="sponsor-pic">
       <a href="https://www.tii.ae/">

_news-items/2024-05-24-proofcraft.html

@@ -5,11 +5,6 @@
 anchor: sponsor24-proofcraft
 ---
 
-<a href="https://proofcraft.systems">
-  <img src="../Foundation/Membership/LOGOS/proofcraft.svg"
-       style="width: 15%; float:right" alt="Proofcraft logo">
-</a>
-
 <p>
   The seL4 Foundation thanks <a href="https://proofcraft.systems">Proofcraft</a>
   for becoming a Bronze sponsor of the <a href="../Foundation/Summit/2024">seL4
@@ -23,11 +18,6 @@
   machine-checked software verification, Proofcraft increases critical software
   systems' reliability, safety and security, for a verified future.
 </p>
-<a href="../Foundation/Summit/2024">
-  <img src="../images/summit/sel4_summit_2024.svg"
-       style="width: 15%; float:right; padding-bottom:5px"
-       alt="seL4 summit">
-</a>
 <p>
   The <a href="../Foundation/Summit/2024">seL4 Summit 2024</a> will take place
   in Sydney, the hometown of <a href="https://proofcraft.systems">Proofcraft</a>.
@@ -36,3 +26,14 @@
   See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
   if you are interested in sponsoring the seL4 summit 2024.
 </p>
+<div id="center-imgs">
+  <a href="https://proofcraft.systems">
+    <img src="../Foundation/Membership/LOGOS/proofcraft.svg"
+       style="width: 15%;" alt="Proofcraft logo">
+  </a>
+  <a href="../Foundation/Summit/2024">
+    <img src="../images/summit/sel4_summit_2024.svg"
+         style="width: 15%;"
+         alt="seL4 summit">
+  </a>
+</div>

_news-items/2024-05-31-unsw.html

@@ -5,9 +5,6 @@
 anchor: sponsor24-unsw
 ---
 
-<a href="https://unsw.edu.au">
-  <img src="../Foundation/Membership/LOGOS/UNSW.svg" style="width: 15%; float:right" alt="UNSW logo">
-</a>
 
 <p>
   The seL4 Foundation thanks <a href="https://unsw.edu.au">UNSW Sydney</a> for
@@ -23,10 +20,6 @@
   The team has a track record of designing and implementing systems software for
   performance and reliability, and using rigorous formal methods to prove that
   they meet their security and reliability goals. Their aims are to:
-  <a href="../Foundation/Summit/2024">
-    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
-      alt="seL4 summit">
-  </a>
 </p>
 <ul>
   <li>shift the software industry away from ad-hoc, unreliable engineering
@@ -46,4 +39,13 @@
 <p>
   See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
   if you are interested in sponsoring the seL4 summit 2024.
-</p>
+</p>
+<div id="center-imgs">
+  <a href="https://unsw.edu.au">
+    <img src="../Foundation/Membership/LOGOS/UNSW.svg" style="width: 15%;" alt="UNSW logo">
+  </a>
+  <a href="../Foundation/Summit/2024">
+    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"
+      alt="seL4 summit">
+  </a>
+</div>

_news-items/2024-08-14-tii.html

@@ -10,18 +10,19 @@
   Summit 2024</a>.
 </p>
 <p>
-
+    The Technology Innovation Institute’s (TII) Secure Systems Research Centre (SSRC) aims to drive end-to-end security and resilience in cyber-physical and autonomous systems that will ensure safety. The research center adopts an applied research approach, emphasizing practical applications. By employing seL4 as both a microkernel and a hypervisor, SSRC seamlessly aligns its dedication to security with the foundational technology crucial to achieving its objectives. This critical technology forms the cornerstone of secure software stacks for diverse edge devices, including secure communicators and drones. TII’s research not only contributes to but propels the evolution of cutting-edge high-end edge device environments. TII’s SSRC focus centers on resilience, isolation, trust, and security, all with the intention of fostering a more secure digital landscape.
+</p>
 <p>
+  See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
+  if you are interested in sponsoring the seL4 summit 2024.
+</p>
+
+<div id="center-imgs">
   <a href="https://www.tii.ae/">
-    <img src="../Foundation/Membership/LOGOS/TII.jpg" style="width: 15%; float:right" alt="TII logo">
+    <img src="../Foundation/Membership/LOGOS/TII.jpg" style="width: 15%;" alt="TII logo">
   </a>
-  The Technology Innovation Institute’s (TII) Secure Systems Research Centre (SSRC) aims to drive end-to-end security and resilience in cyber-physical and autonomous systems that will ensure safety. The research center adopts an applied research approach, emphasizing practical applications. By employing seL4 as both a microkernel and a hypervisor, SSRC seamlessly aligns its dedication to security with the foundational technology crucial to achieving its objectives. This critical technology forms the cornerstone of secure software stacks for diverse edge devices, including secure communicators and drones. TII’s research not only contributes to but propels the evolution of cutting-edge high-end edge device environments. TII’s SSRC focus centers on resilience, isolation, trust, and security, all with the intention of fostering a more secure digital landscape.
   <a href="../Foundation/Summit/2024">
-    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
+    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"
     alt="seL4 summit">
   </a>
-</p>
-<p>
-  See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
-  if you are interested in sponsoring the seL4 summit 2024.
-</p>
+</div>

_news-items/2024-08-16-collins.html

@@ -5,9 +5,6 @@
 ---
 
 <p>
-  <a href="https://www.collinsaerospace.com">
-    <img src="../Foundation/Membership/LOGOS/Collins_Aerospace_Logo.svg" style="width: 15%; float:right" alt="Collins Aerospace logo">
-  </a>
   The seL4 Foundation thanks <a href="https://www.collinsaerospace.com">Collins Aerospace</a> for
   becoming a Bronze sponsor of the <a href="../Foundation/Summit/2024">seL4
   Summit 2024</a>.
@@ -16,10 +13,6 @@
   <a href="https://www.collinsaerospace.com">Collins Aerospace</a>, part of seL4 Foundation
     member <a href="https://www.rtx.com">Raytheon Technologies</a>, has been a long-time core
     participant in the seL4 ecosystem.
-  <a href="../Foundation/Summit/2024">
-        <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
-      alt="seL4 summit">
-  </a>
   It was a prime contractor in the DARPA HACMS
   program, which demonstrated the seL4-based incremental cyber retrofit of
   autonomous military vehicles. This was a major milestone in the growth of seL4,
@@ -34,4 +27,14 @@
 <p>
   See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
   if you are interested in sponsoring the seL4 summit 2024.
-</p>
+</p>
+
+<div id="center-imgs">
+    <a href="https://www.collinsaerospace.com">
+    <img src="../Foundation/Membership/LOGOS/Collins_Aerospace_Logo.svg" style="width: 15%;" alt="Collins Aerospace logo">
+  </a>
+  <a href="../Foundation/Summit/2024">
+        <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"
+      alt="seL4 summit">
+  </a>
+</div>

css/sel4.css

@@ -382,6 +382,23 @@
    }
  }
 
+/* Two sponsors */
+.sponsors-2 {
+   display: grid;
+   grid-template-columns: auto;
+   grid-column-gap: 50px;
+   align-items: center;
+   justify-content: center; /* adjusted */
+   width: 100%;
+ }
+
+ @media screen and (min-width: 500px) {
+   .sponsors-2 {
+     grid-template-columns: repeat(2, 200px);
+   }
+ }
+
+
  /*single sponsor*/
  sponsors-1 {
    display: grid;
@@ -814,4 +831,14 @@
  }
  p.keynote {
    text-indent: 15px;
- }
+ }
+
+ .center {
+    display: inline-block;
+    margin-left: auto;
+    margin-right: auto;
+}
+
+#center-imgs {
+    text-align:center;
+}