picolisp

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/picolisp.git/
Log | Files | Refs | README | LICENSE

doc.css (472B)

      1 /* 19may07abu
      2  * 06dec12jk
      3  * (c) Software Lab. Alexander Burger
      4  */
      5 
      6 html {
      7    background-color: #ddd;
      8 }
      9 
     10 body {
     11    margin: auto;
     12    max-width: 48em;
     13    border: 1px solid #bbb;
     14    background-color: white;
     15    padding: 2em 7% 4em 10%;
     16 }
     17 
     18 h5 {
     19 	font-size: 95%;
     20 	margin-bottom: 1em;
     21 }
     22 
     23 dt {
     24 	margin: 0.4em -2em 0 0;
     25 	font-weight: 600;
     26 	color: #444;
     27 }
     28 
     29 dd {
     30 	margin-top: 0.3em;
     31 	margin-bottom: 0.4em;
     32 }
     33 
     34 code {
     35    color: rgb(0%,40%,0%);
     36 }
     37 
     38 dt code {
     39 	word-spacing: -0.04em;
     40 }