Hello Erik,
It looks nice now ! Thank you !
JC
> On Feb 10, 2022, at 10:16, Erik Gustafson wrote:
>
> Hi Jean-Christophe,
>
> There must be a lag [...]
>
> The picolisp server caches css files for 24hrs (I think). You may need to
> refresh
> with e.g. ctrl-shift-r
>
> Current (https://pico
Hi Jean-Christophe,
There must be a lag [...]
>
The picolisp server caches css files for 24hrs (I think). You may need to
refresh
with e.g. ctrl-shift-r
Current (https://picolisp.com/wiki/wiki/wiki.css) is:
code {
color: #333;
font-weight: bold;
font-family: 'Courier New', monospace;
> On Feb 9, 2022, at 12:12, Erik Gustafson wrote:
>
> Hi Jean-Christophe,
>
> The setting on line 247 is not inherited by and that
> cramps the code blocks inside the grey background box.
>
> Oops! It seemed to be inherited in firefox for me. Ok, changed :)
Erik,
There must be a lag be
Hi Jean-Christophe,
The setting on line 247 is not inherited by and that
> cramps the code blocks inside the grey background box.
>
Oops! It seemed to be inherited in firefox for me. Ok, changed :)
> On Feb 9, 2022, at 10:20, Erik Gustafson wrote:
>
> Hi Jean-Christophe,
>
> Good suggestions, that page looked pretty bad. I've uploaded a new css file
> with the changes.
Erik,
Would you mind adding similar padding values to as there are for
?
The setting on line 247 is not inherit
Hi Jean-Christophe,
Good suggestions, that page looked pretty bad. I've uploaded a new css file
with the changes.
Thanks,
Erik
Very nice Erik !
Regarding the border-radius for the tag (currently at 0.3/0.5 for the
), I think something a bit less curved would look better at the box angles:
https://picolisp.com/wiki/?help
Also, adding just a tiny bit of padding would make the code breath a bit.
Cheers,
Jean-Christophe
Hi list,
I thought the wiki could use an update for 2022. Have a look - picolisp.com
There's a new take on the logo, the login/edit forms are nicer and better
behaved on mobile. And I threw in some CSS gradients to make it look extra
cool 😎
Feedback welcome!
-Erik
