[07:41:03] <hams>	 hi guys
[07:41:35] <hams>	 how do i add a contents box
[07:41:39] <hams>	 to look like wikipedia
[07:42:39] <hams>	 ohh headings
[15:10:24] <tuxick>	 is there a simple skin where search box doesn't scroll away? or a standard setting?
[15:31:38] <Lens0021>	 Skin:Timeless or Vector with sticky header?
[16:51:56] <tuxick>	 thanks, checking
[16:58:47] <tuxick>	 oh timeless looks nice, but not sticky
[17:00:20] <tuxick>	 ah right :)
[17:00:28] <tuxick>	 perfect
[20:58:29] <Toscman>	 Hi ;-)
[20:59:47] <Toscman>	 I have a question about Skin Gamepress. Can someone help me? Possibly also in German?
[21:05:05] <RhinosF1>	 mutante: ^
[21:09:02] <Toscman>	 Hi everyone,
[21:09:02] <Toscman>	 nice that I found you. I really hope that you can help me, because I'm at my wits end.
[21:09:03] <Toscman>	 sorry for the english
[21:09:03] <Toscman>	 I have installed WikiMedia version 1.37.2 and would like to use the Gamepress skin. This contains different versions (green, blue, orange, default is red).
[21:09:04] <Toscman>	 I've been looking for a lot of hours but I can't find a way to set the default skin on Gamepress to be green.
[21:09:04] <Toscman>	 Can someone tell me which command must be entered in location.php?
[21:12:53] <RhinosF1>	 Toscman: set $wgDefaultTheme to 'green' in LocalSettings.php
[21:13:58] <Toscman>	 Thanks,
[21:13:59] <Toscman>	 I will try that immediately.
[21:18:56] <Toscman>	 $wgDefaultSkin = "gamepress";
[21:18:57] <Toscman>	 $wgDefaultTheme = "green";
[21:18:57] <Toscman>	 Unfortunately that doesn't work. There is no error message either, but it is still red
[21:20:57] <Reedy>	 Do you have Extension:Theme installed?
[21:26:38] <Toscman>	 Of course I didn't! Thanks very much.
[21:26:38] <Toscman>	 Your the best. ;-)
[21:54:13] <ashley>	 Theme really should be a core feature, but, well >.>
[21:54:22] <ashley>	 but glad that you're liking Gamepress ;-)