On Thu, Sep 09, 2021 at 12:04:37AM +0900, Jean-Christophe Helary wrote:
> > Did you try to upload with the second button?
> >
> > "Upload CSS File (wiki.css)"
>
> Ok, let me describe what I did:
>
> • → https://picolisp.com/wiki/?home
> • login
> • → my account
> • → Documents
> • [New] →
> On Sep 8, 2021, at 22:19, Alexander Burger wrote:
>
> Hi Jean-Christophe,
>
>> I think the file is uploaded now.
>
> Hmm, are you sure? On the server I still have the old version
> from 2020-12-13 12:22:26
>
> Did you try to upload with the second button?
>
> "Upload CSS File
Hi Jean-Christophe,
> I think the file is uploaded now.
Hmm, are you sure? On the server I still have the old version
from 2020-12-13 12:22:26
Did you try to upload with the second button?
"Upload CSS File (wiki.css)"
If so, it directly copies the uploaded file to wiki/wiki.css
Please try
On 06.09.21 14:01, Jean-Christophe Helary wrote:
> 4) I added an "Alternative repository install for macOS" page
> https://picolisp.com/wiki/?alternativeMacOSRepository
Thank you very much for providing und publishing this!
I was able to install a pil21 version on macOS 11.5.2 following the
Alex,
I think the file is uploaded now.
I don't want to fiddle too much with the Hn sizes, so what I did is comment out
the size parts so that the sizes are taken from the default HTML css with sets
them in em, and not in px. That way, there is no real need to use a @media
directive for
> On Sep 7, 2021, at 0:28, Alexander Burger wrote:
>
> On Tue, Sep 07, 2021 at 12:08:57AM +0900, Jean-Christophe Helary wrote:
>> I've logged in to the Wiki interface but I'm not sure where I'd upload the
>> modified file.
>
> There is an "Upload" menu item in the GUI. There the Logo and
On Tue, Sep 07, 2021 at 12:08:57AM +0900, Jean-Christophe Helary wrote:
> I've logged in to the Wiki interface but I'm not sure where I'd upload the
> modified file.
There is an "Upload" menu item in the GUI. There the Logo and wiki.css files can
be uploaded :)
☺/ A!ex
--
UNSUBSCRIBE:
> On Sep 6, 2021, at 23:29, Alexander Burger wrote:
>
>> I think I had that in mind when I made my first modifications to the wiki
>> back in 2018/2019 but it appeared in a much cleared way today:
>>
>> 1) the wiki.css file could offer more differentiation between headers (only
>> 2px of
> I think I had that in mind when I made my first modifications to the wiki
> back in 2018/2019 but it appeared in a much cleared way today:
>
> 1) the wiki.css file could offer more differentiation between headers (only
> 2px of difference in size is not very visible on modern screens)
Can
Alex,
I'm glad the modifs are ok.
I think I had that in mind when I made my first modifications to the wiki back
in 2018/2019 but it appeared in a much cleared way today:
1) the wiki.css file could offer more differentiation between headers (only 2px
of difference in size is not very visible
Hi Jean-Christophe,
> 1) I changed the order of info in the "Wiki quickstart" to put the page
> creation at the top
> https://picolisp.com/wiki/?help
Good idea.
> 2) I added a ToC on the Wiki home
> https://picolisp.com/wiki/?home
Great! This is indeed very usful. I always missed an initial
11 matches
Mail list logo
