fenics team mailing list archive

["Johan Hoffman" <jhoffman@xxxxxxxxxx>]

> On Tue, Mar 20, 2007 at 10:28:31AM +0100, Garth N. Wells wrote:
>>
>>
>> Mandus wrote:
>> > On 3/19/07, Anders Logg <logg@xxxxxxxxx> wrote:
>> >> On Mon, Mar 19, 2007 at 09:20:13PM +0100, Johan Jansson wrote:
>> >>>> On 3/19/07, Anders Logg <logg@xxxxxxxxx> wrote:
>> >>>>> I've hacked together a new skin for the wiki, see if you like it:
>> >>>>>
>> >>>>>     http://www.fenics.org/wiki/
>> >>>> Are you sure? When I go there, I don't see anything fancy. But
>> maybe
>> >>>> that's the point. Even the nice bird in the corner is gone...?
>> >>>>
>> >>> I had to set the skin manually in preferences->skins. It seems the
>> >>> "default" option doesn't work as intended.
>> >>>
>> >>> But it looks nice, now it looks like a real site rather than a
>> >>> Wikipedia-clone.
>> >>>
>> >>>   Johan
>> >> I think the the skin won't change for users that are logged in (but
>> >> will for all other users), so this should only affect the ~10 people
>> >> who currently have an account.
>> >>
>> >> So if you have an account and don't see the new skin (big orange
>> >> FENICS text on top + bird) then change to the default skin in
>> >> preferences -> skins.
>> >
>> > Aha - this looks neat. But that big gear-thing takes to much space on
>> > the top, have to scroll for some real content. Maybe you should put
>> > that out to the right?
>> >
>>
>> It would also be good to reduce the line spacing. There is a lot of
>> empty space on the screen which requires more scrolling.
>>
>> Garth
>
> You both need to buy a bigger screen!
>
> Looks like Garth just moved the image to the right, looks really nice.
> The line spacing can be edited in the style sheet. I'll talk to you
> about how to edit it. (Don't know if it can be done through the wiki.)
>
> /Anders

It all looks very nice and clean, I like it!

/Johan

> _______________________________________________
> FEniCS-dev mailing list
> FEniCS-dev@xxxxxxxxxx
> http://www.fenics.org/mailman/listinfo/fenics-dev
>