Compare commits

..

No commits in common. "b8ccd6cc3e691b6b58a2156c2b210ab5bb433423" and "61d28203420120aa0df009212bae6614b66c2ad8" have entirely different histories.

4 changed files with 2 additions and 24 deletions

2
.gitignore vendored
View file

@ -16,5 +16,3 @@ compiled
# Personal
/config.ini
misc
storage

View file

@ -240,7 +240,7 @@
(div (@ (class "bw-ss__container") (id "bw-pr-search-suggestions"))))
(div (@ (class "bw-theme__select"))
(span (@ (class "bw-theme__main-label")) "Page theme")
(span (@ (class "bw-theme__items"))
(div (@ (class "bw-theme__items"))
,@(for/list ([theme '(default light dark)])
(define class
(if (equal? theme (user-cookies^-theme user-cookies))
@ -251,7 +251,7 @@
req
(struct-copy user-cookies^ user-cookies
[theme theme]))) (class ,class))
(span (@ (class "bw-theme__icon-container"))
(div (@ (class "bw-theme__icon-container"))
,(hash-ref theme-icons theme))
,(format "~a" theme)))))))
(div (@ (id "content") #;(class "page-content"))

View file

@ -61,16 +61,6 @@
("Browser Extension" . "https://runescape.wiki/w/RuneScape:Finding_the_wikis_with_ease#Extensions"))
(λ (props) '()))
'Minecraft
(extwiki-group^
"Minecraft"
'(("Post-Move FAQ" . "https://minecraft.wiki/w/Minecraft_Wiki:Moving_from_Fandom")
("Pre-Move Discussion" . "https://minecraft.fandom.com/wiki/Minecraft_Wiki:Moving_from_Fandom")
("In the media: PCGamer" . "https://www.pcgamer.com/official-minecraft-wiki-editors-so-furious-at-fandoms-degraded-functionality-and-popups-theyre-overwhelmingly-voting-to-leave-the-site/")
("In the media: PCGamesN" . "https://www.pcgamesn.com/minecraft/wiki-fandom"))
(λ (props)
'(p "The wiki was founded by Citricsquid on July 16th, 2009 as a way to document information from Minecraft. Since November 15th, 2010, it has been hosted by Curse Media. On December 12th, 2018, it moved to Fandom as it purchased Curse Media. Since September 24, 2023, it forked from Fandom and has been hosted by Weird Gloop.")))
'empty
(extwiki-group^
"Misc"
@ -410,15 +400,6 @@
`((p "“Fandom bought Gamepedia and forced a migration, with their restricted, ad-heavy appearance, and other annoying features that we could not remove, the wiki grew slow and annoying to use, especially for logged out users.")
(p "“We decided to move away from Fandom to Wiki.gg, which returns the wiki to how it used to be on gamepedia, without the ads spamming and forced videos.”"))))
(extwiki^
'("minecraft") 'default
'Minecraft
"The Minecraft Wiki"
"https://minecraft.wiki/w/Minecraft_Wiki"
"https://minecraft.wiki/images/Wiki.png"
(λ (props)
`()))
;; fandom wikinames * empty * empty * Name * Home Page
(extwiki^ '("aether") 'empty 'empty "Aether Wiki" "https://aether.wiki.gg/wiki/Aether_Wiki" #f #f)
(extwiki^ '("before-darkness-falls") 'empty 'empty "Before Darkness Falls Wiki" "https://beforedarknessfalls.wiki.gg/wiki/Before_Darkness_Falls_Wiki" #f #f)

View file

@ -332,7 +332,6 @@ a.ext-audiobutton { /* see hearthstone/wiki/Diablo_(Duels_hero) */
display: flex;
}
.bw-theme__item {
display: inline-block;
display: flex;
align-items: baseline;
padding: 2px;