picowiki

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

picowiki.css (869B)

      1 a.e {
      2   text-decoration: none;
      3   border-bottom: thin dotted gray;
      4 }
      5 a.i:hover {
      6   background-color: #ffa;
      7 }
      8 body hr {
      9   border: 0;
     10   color: blue;
     11   background-color: blue;
     12   height: 1px;
     13 }
     14 .page hr {
     15   border: none;
     16   border-top: dashed thin blue;
     17   color: white;
     18   background-color: white;
     19   height: 1px;
     20 }
     21 .page table {
     22   border: thin solid black;
     23   border-collapse: collapse;
     24 }
     25 .page td {
     26   border: thin solid black;
     27 }
     28 .page pre {
     29   border-left: thin dotted;
     30   padding-left: 1em;
     31 }
     32 .lisp {
     33   border-left: thin dotted;
     34   padding-left: 1em;
     35 }
     36 .lisp a {
     37   font-weight: bold;
     38   text-decoration: none;
     39   background-color: #ffa;
     40 }
     41 .lisp .str {
     42   color: green;
     43 }
     44 .ref {
     45   font-weight: bold;
     46   text-decoration: none;
     47   background-color: #ffa;
     48 }
     49 .changes ul {
     50   list-style-type: none;
     51 }
     52 .all ul {
     53   list-style-type: none;
     54 }
     55 .menu {
     56   margin-top: 0em;
     57   margin-bottom: 0em;
     58 }