add libera.chat as a valid IRC channel

Author: mattip

conf.py

@@ -115,7 +115,8 @@
         (
           (
             ('https://twitter.com/pypyproject', 'Twitter'),
-            ('https://quodlibet.duckdns.org/irc/pypy/latest.log.html#irc-end', 'IRC'),
+            ('https://quodlibet.duckdns.org/irc/pypy/latest.log.html#irc-end', 'IRC logs'),
+            ('https://libera.irclog.whitequark.org/pypy', 'IRC logs (libera.chat)'),
             ('https://www.youtube.com/playlist?list=PLADqad94yVqDRQXuqxKrPS5QnVqbDLlRt', 'YouTube'),
             ('https://www.twitch.tv/pypyproject', 'Twitch'),
             ('/people.html', 'People'),

pages/contact.rst

@@ -7,7 +7,10 @@
 .. description: 
 
 
-* irc: **#pypy** on **irc.freenode.net**
+* irc:
+
+  * **#pypy** on **irc.freenode.net** (still the official channel)
+  * **#pypy** on **irc.libera.chat** (will become official soon?)
 
 * mailing list: `pypy-dev at python.org`__
 

themes/pypy/assets/css/styles.css

@@ -194,7 +194,7 @@ div.sidebar {
   content: ' ▾';
 }
 .nav-container ul li ul li {
-  min-width: 190px;
+  min-width: 220px;
 }
 .nav-container ul li ul li a {
   padding: 15px;