deploy: seL4/website@fb6fa17

seL4 · May 31, 2024 · 94d93c6 · 94d93c6
1 parent 52d82bf
commit 94d93c6
Show file tree

Hide file tree

Showing 4 changed files with 145 additions and 148 deletions.
diff --git a/PR_361/Foundation/Summit/2024/index.html b/PR_361/Foundation/Summit/2024/index.html
@@ -395,7 +395,7 @@ <h3 id="summit-sponsors">
     <div class="sponsor">
     <div class="sponsor-pic">
       <a href="https://unsw.edu.au">
-        <img src="../../Membership/LOGOS/unsw.svg" style="width: 150px"
+        <img src="../../Membership/LOGOS/UNSW.svg" style="width: 150px"
             alt="UNSW logo">
       </a>
     </div>
@@ -408,8 +408,7 @@ <h3 id="summit-sponsors">
 </div>
 <div>
   <p>
-    See <a
-    href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
+    See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
     you are interested in sponsoring the seL4 summit 2024.
   </p>
 </div>

diff --git a/PR_361/news/2024.html b/PR_361/news/2024.html
@@ -131,7 +131,7 @@ <h1>
 </div>
 <div>
    <a href="https://unsw.edu.au">
-    <img src="../Foundation/Membership/LOGOS/unsw.svg"
+    <img src="../Foundation/Membership/LOGOS/UNSW.svg"
       style="width: 15%; float:right"
       alt="UNSW logo" />
   </a>
@@ -151,11 +151,11 @@ <h1>
       alt="seL4 summit" />
     </a>
     The team uses rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees. Their aims are to:
-    <ul>
-      <li>shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and</li>
-      <li>make verified software a default choice, especially in safety- and security-critical systems.</li>
-    </ul>
   </p>
+  <ul>
+    <li>shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and</li>
+    <li>make verified software a default choice, especially in safety- and security-critical systems.</li>
+  </ul>
   <p>
     The team works with government and commercial partners, as well as the broader software engineering community, to drive this change.
   </p>
@@ -164,8 +164,7 @@ <h1>
    Sydney, the hometown of <a href="https://trustworthy.systems/">Trustworthy Systems</a> and <a href="https://unsw.edu.au">University of New South Wales (UNSW)</a>.
   </p>
   <p>
-    See <a
-    href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
+    See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
     you are interested in sponsoring the seL4 summit 2024.
   </p>
 

diff --git a/PR_361/news/index.html b/PR_361/news/index.html
@@ -130,7 +130,7 @@ <h1>
 </div>
 <div>
    <a href="https://unsw.edu.au">
-    <img src="../Foundation/Membership/LOGOS/unsw.svg"
+    <img src="../Foundation/Membership/LOGOS/UNSW.svg"
       style="width: 15%; float:right"
       alt="UNSW logo" />
   </a>
@@ -150,11 +150,11 @@ <h1>
       alt="seL4 summit" />
     </a>
     The team uses rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees. Their aims are to:
-    <ul>
-      <li>shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and</li>
-      <li>make verified software a default choice, especially in safety- and security-critical systems.</li>
-    </ul>
   </p>
+  <ul>
+    <li>shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and</li>
+    <li>make verified software a default choice, especially in safety- and security-critical systems.</li>
+  </ul>
   <p>
     The team works with government and commercial partners, as well as the broader software engineering community, to drive this change.
   </p>
@@ -163,8 +163,7 @@ <h1>
    Sydney, the hometown of <a href="https://trustworthy.systems/">Trustworthy Systems</a> and <a href="https://unsw.edu.au">University of New South Wales (UNSW)</a>.
   </p>
   <p>
-    See <a
-    href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
+    See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
     you are interested in sponsoring the seL4 summit 2024.
   </p>