whitequark[cis] changed the topic of #amaranth-lang to: Amaranth hardware definition language · weekly meetings: Amaranth each Mon 1700 UTC, Amaranth SoC each Fri 1700 UTC · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang · Matrix #amaranth-lang:matrix.org
smkz has quit [Quit: smkz]
smkz has joined #amaranth-lang
notgull has quit [Ping timeout: 252 seconds]
notgull has joined #amaranth-lang
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 252 seconds]
Degi_ is now known as Degi
notgull has quit [Ping timeout: 256 seconds]
FFY00 has quit [Remote host closed the connection]
FFY00 has joined #amaranth-lang
bob_twinkles has joined #amaranth-lang
Degi has quit [Quit: ZNC 1.8.2+deb2build5 - https://znc.in]
Degi has joined #amaranth-lang
cr1901_ has joined #amaranth-lang
cr1901 has quit [Ping timeout: 260 seconds]
cr1901_ is now known as cr1901
notgull has joined #amaranth-lang
<_whitenotifier> [amaranth] whitequark opened pull request #1014: Add a logo to the documentation - https://github.com/amaranth-lang/amaranth/pull/1014
<_whitenotifier> [amaranth] whitequark edited pull request #1014: Add a logo to the documentation - https://github.com/amaranth-lang/amaranth/pull/1014
<_whitenotifier> [amaranth] whitequark edited pull request #1014: Add a logo to the documentation - https://github.com/amaranth-lang/amaranth/pull/1014
<_whitenotifier> [amaranth] codecov[bot] commented on pull request #1014: Add a logo to the documentation - https://github.com/amaranth-lang/amaranth/pull/1014#issuecomment-1876943487
oter has quit [Remote host closed the connection]
oter has joined #amaranth-lang
notgull has quit [Ping timeout: 276 seconds]
notgull has joined #amaranth-lang
Ekho has quit [Quit: CORE ERROR, SYSTEM HALTED.]
Ekho has joined #amaranth-lang
notgull has quit [Ping timeout: 264 seconds]
<tpw_rules> i love the color but it feels like the center spiral needs a bit going the other direction too if that makes sense
<whitequark[cis]> I think I'm going to leave the overall design as-is; I like the very stylized representation (I gave specific guidance on that to the artist)
<cr1901> Wow, this is beautiful. They did a great job
<whitequark[cis]> it really is
vipqualitypost[m has joined #amaranth-lang
<vipqualitypost[m> the colors are fantastic, i love it!
galibert[m] has joined #amaranth-lang
<galibert[m]> Interesting concept, looks nice too
<FireFly> neat!
<_whitenotifier> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1014-c00e770f01262d266cd94bbb32a7b891c6a53f65 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-3> [amaranth-lang/amaranth] whitequark e356ee2 - docs: strip `.editable` suffix from version.
<_whitenotifier> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 4 commits to main [+1/-0/±5] https://github.com/amaranth-lang/amaranth/compare/c00e770f0126...996fcfbda431
<_whitenotifier-3> [amaranth-lang/amaranth] whitequark 8ac22bc - docs: add logo.
<_whitenotifier> [amaranth-lang/amaranth] whitequark 0191011 - docs: links should be underlined.
<_whitenotifier> [amaranth-lang/amaranth] whitequark 996fcfb - docs: match sidebar background color to logo.
<_whitenotifier> [amaranth] whitequark closed pull request #1014: Add a logo to the documentation - https://github.com/amaranth-lang/amaranth/pull/1014
<_whitenotifier> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1014-c00e770f01262d266cd94bbb32a7b891c6a53f65 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-3> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+1/-0/±35] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/4d0246d5188b...97558b394083
<_whitenotifier> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 97558b3 - Deploying to main from @ amaranth-lang/amaranth@996fcfbda43129d52e32f4e35330f5063495a099 🚀
esden[m] has joined #amaranth-lang
<esden[m]> This is how the docs look like on mobile (iPhone 12 Safari, I tried Firefox and it looks the same)
<whitequark[cis]> yep
<whitequark[cis]> I'm not sure why and I don't have time to fix it; assistance appreciated!
duskwuff[m] has joined #amaranth-lang
<duskwuff[m]> I can reproduce the issue in desktop Chrome by reducing the window to <768px wide
<duskwuff[m]> s/</<=/
<duskwuff[m]> * I can reproduce the issue in desktop Chrome (and Firefox, it's not just a Webkit thing) by reducing the window to <=768px wide
<esden[m]> Right, it seems that the responsive switch might be to blame there. Some padding value in the mobile mode seems to go bonkers.
<esden[m]> Ohh I guess it is trying to move the nav bar outside of the view but failing using `.wy-nav-bar left` for media sizes under 768px. Plus the main content is not being expanded to the full screen width somehow. Definitely this theme's responsiveness is borked.
miek__[m] has joined #amaranth-lang
skipwich has quit [Remote host closed the connection]
skipwich has joined #amaranth-lang
<esden[m]> Heh I just arrived in the custom.css in the browser debugger 😅
<esden[m]> So yeah, the side nav bar tweaks in custom.css need to be adjusted for mobile. This is what breaks things currently. Potentially those tweaks can be just gated for windows >768px?
<_whitenotifier-3> [amaranth] esden opened pull request #1015: docs: fix nav-bar on mobile - https://github.com/amaranth-lang/amaranth/pull/1015
<_whitenotifier> [amaranth] codecov[bot] commented on pull request #1015: docs: fix nav-bar on mobile - https://github.com/amaranth-lang/amaranth/pull/1015#issuecomment-1877698376
<_whitenotifier> [amaranth] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-1015-996fcfbda43129d52e32f4e35330f5063495a099 - https://github.com/amaranth-lang/amaranth
<_whitenotifier-3> [amaranth] whitequark commented on pull request #1015: docs: fix nav-bar on mobile - https://github.com/amaranth-lang/amaranth/pull/1015#issuecomment-1877702048
<_whitenotifier-3> [amaranth-lang/amaranth] esden 7eea9c3 - docs: fix nav-bar on mobile
<_whitenotifier> [amaranth-lang/amaranth] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±1] https://github.com/amaranth-lang/amaranth/compare/996fcfbda431...7eea9c39cf7a
<_whitenotifier-3> [amaranth] whitequark closed pull request #1015: docs: fix nav-bar on mobile - https://github.com/amaranth-lang/amaranth/pull/1015
<_whitenotifier-3> [amaranth] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-1015-996fcfbda43129d52e32f4e35330f5063495a099 - https://github.com/amaranth-lang/amaranth
RobTaylor[m] has joined #amaranth-lang
<RobTaylor[m]> esden: Thank you for taking a look at that, I’ve been meaning to log an issue!
<_whitenotifier-3> [amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] bdf8516 - Deploying to main from @ amaranth-lang/amaranth@7eea9c39cf7a42b5914519e44fa660e14991851d 🚀
<_whitenotifier> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±34] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/97558b394083...bdf85169efc4
notgull has joined #amaranth-lang
markov_twain has joined #amaranth-lang
markov_twain has quit [Client Quit]
markov_twain has joined #amaranth-lang
markov_twain has quit [Quit: markov_twain]
esden[cis] has joined #amaranth-lang
<esden[cis]> Rob Taylor: sure, no worries. :)
iamzim has joined #amaranth-lang
iamzim has left #amaranth-lang [#amaranth-lang]
<cr1901> whitequark[cis]: If you don't have objections, ready to xfer ownership of yowasp-boolector to the yowasp project: https://github.com/cr1901/yowasp-boolector/commit/334917eb0440a632252ed8f5d9a5b07e7fdd78d5
notgull has quit [Ping timeout: 264 seconds]
notgull has joined #amaranth-lang
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
Lord_Nightmare has joined #amaranth-lang