index.css - clic - Clic is an command line interactive client for gopher written in Common LISP
 (HTM) git clone git://bitreich.org/clic/ git://enlrupgkhuxnvlhsf6lc3fziv5h2hhfrinws65d7roiv6bfj7d652fid.onion/clic/
 (DIR) Log
 (DIR) Files
 (DIR) Refs
 (DIR) Tags
 (DIR) README
 (DIR) LICENSE
       ---
       index.css (2530B)
       ---
            1 /* based on atdoc's orange-sans.css */
            2 
            3 div.sidebar {
            4   float: right;
            5   min-width: 15%;
            6   padding: 0pt 5pt 5pt 5pt;
            7   font-family: verdana, arial;
            8 }
            9 
           10 a {
           11   text-decoration: none;
           12   color: #ee8500;
           13 /*
           14   border-bottom: 1px dotted black;
           15   border-top: 1px solid white;
           16   border-left: 1px solid white;
           17   border-right: 1px solid white;
           18   padding-top: 1px;
           19   padding-bottom: 1px;
           20 */
           21 }
           22 
           23 .nonlink {
           24   border-bottom: 1px solid white;
           25   border-top: 1px solid white;
           26   border-left: 1px solid white;
           27   border-right: 1px solid white;
           28   padding-top: 1px;
           29   padding-bottom: 1px;
           30 }
           31 
           32 .sidebar a {
           33   border-top: 1px solid #eeeeee;
           34   border-left: 1px solid #eeeeee;
           35   border-right: 1px solid #eeeeee;
           36 }
           37 
           38 /*
           39 a:hover {
           40   color: #000000;
           41   border: 1px solid black;
           42 }
           43 */
           44 
           45 #headerlink {
           46   border: none;
           47 }
           48 
           49 #headerlink:hover {
           50   border: none;
           51 }
           52 
           53 body {
           54   color: #000000;
           55   background-color: #ffffff;
           56   margin-top: 2em;
           57   margin-right: 10em;
           58   margin-left: 10em;
           59   font-family: helvetica, verdana, arial;
           60 }
           61 
           62 .main {
           63   margin-top: 20px;
           64   margin-left: 40px;
           65 }
           66 
           67 .padded {
           68   padding-left: 30px;
           69 }
           70 
           71 .padded h1,h2 {
           72   margin-left: -30px;
           73 }
           74 
           75 h1 {
           76   color: #ee8500;
           77   font-size: 22pt;
           78 }
           79 
           80 h3 {
           81   color: #000000;
           82   border-bottom: 2px solid #ff9500;
           83   margin-left: -3px;
           84   padding-left: 3px;
           85   padding-top: 2em;
           86 }
           87 
           88 h4 {
           89 }
           90 
           91 .grau {
           92   padding-top: 1em;
           93 }
           94 
           95 .code {
           96   border: solid 1px #d0d0d0;
           97   padding: 1em;
           98   margin-right: 10%;
           99 }
          100 
          101 .indent {
          102   /*margin-left: 20px;
          103   padding-bottom: 1em;*/
          104 }
          105 
          106 .def {
          107   padding: 1px 1px 1px 1px;
          108   margin-bottom: 1px;
          109   font-weight: bold;
          110   margin-right: 40px;
          111 }
          112 
          113 .nomargin {
          114   margin-bottom: 0;
          115   margin-top: 0;
          116 }
          117 
          118 .noindent {
          119   margin-left: -30px;
          120   padding-bottom: 1em;
          121 }
          122 
          123 #header {
          124   margin-right: 22px;
          125   /*border-bottom: 1px solid black;*/
          126   font-family: verdana, arial;
          127   font-size: 18pt;
          128   padding-bottom: 1px;
          129 }
          130 
          131 pre {
          132   background-color: #eeeeee;
          133   border: solid 1px #d0d0d0;
          134   padding: 1em;
          135   margin-right: 10%;
          136 }
          137 #sp-package-list {
          138   /* ... */
          139 }
          140 
          141 #sp-about-packages {
          142   /* ... */
          143 }
          144 
          145 .sp-lambda-list {
          146   background-color: #f4f4f4;
          147   padding: 3px 3px 3px 3px;
          148 }
          149 
          150 .sp-definition {
          151   border: 1px solid #cccccc;
          152   padding: 3px 3px 3px 3px;
          153 }
          154 
          155 .sp-definition-body {
          156   padding-left: 2em;
          157   padding-right: 2em;
          158   padding-top: 0.5em;
          159   padding-bottom: 1em;
          160 }
          161 
          162 .sp-definition-body ul {
          163   margin-top: 0;
          164   margin-bottom: 0;
          165 }
          166 
          167 .sp-return {
          168 }
          169 
          170 .sph3 {
          171   padding-top: 1em;
          172   font-weight: bold;
          173 }
          174 
          175 #about-package-legend { display: none }
          176 #contents { display: none }
          177 .function-details-legend { display: none }
          178 #heading2 { display: none }