Re: Wiki design update

[Erik Gustafson]

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;
   background: #efefef;
   border-radius: 0.15rem;
   border: 1px solid #aaa;
   padding: 0.05rem 0.2rem;
   margin-right: 1px;
   overflow-x: auto;
   font-size: smaller;
}

pre.code {
   padding: 0.1rem 0.2rem;
   border-radius: 0.25rem;
   background: -webkit-gradient(linear, left top, right bottom,
from(#efefef), color-stop(90%), to(#dfdfdf));
   background: -o-linear-gradient(top left, #efefef, 90%, #dfdfdf);
   background: linear-gradient(to bottom right, #efefef, 90%, #dfdfdf);
   -webkit-box-shadow: 1px 1px 1px 0px rgba(0,0,0,0.1);
           box-shadow: 1px 1px 1px 0px rgba(0,0,0,0.1);
}

Though looking at the 'help' page again today has me thinking readability
is best served with something like:


code {
   color: #222;
   font-weight: bold;
   font-family: 'Courier New', monospace;
   background: #eee;
   border-radius: 0.15rem;
   padding: 0.05rem 0.2rem;
   margin-right: 1px;
   overflow-x: auto;
   font-size: smaller;
}

pre.code {
   padding: 0.1rem 0.2rem;
   border-radius: 0.25rem;
}

Also known as "what was there before'' :) And then I can always put the
shine on the homepage with '${...}'.

Thoughts?