dotemacs

My Emacs configuration
git clone git://git.entf.net/dotemacs
Log | Files | Refs | LICENSE

geiser.css (1840B)

      1 html {
      2     padding:0px;margin:0px;
      3     background-color:white;
      4     color:black;
      5     font-family:sans-serif;
      6     line-height:160%
      7 }
      8 
      9 body {
     10     padding:10px 10% 10px 10%;
     11     margin:0px;
     12     text-align:justify;
     13     /* width: 750px; */
     14 }
     15 
     16 a { color:black; weight=normal }
     17 a:hover { color: #a22 }
     18 
     19 hr { height:0; color:white }
     20 
     21 h2 {
     22     font-size:120%;
     23     text-transform:uppercase
     24 }
     25 
     26 h3 {
     27     font-size:100%;
     28     text-transform:uppercase
     29 }
     30 
     31 pre.code {
     32     display:block;
     33     padding:0px;
     34     margin-bottom:0px
     35 }
     36 
     37 code {
     38     background-color:rgb(250, 250, 250);
     39     border:1px solid rgb(200, 200, 200);
     40     padding-left:4px;
     41     padding-right:4px
     42 }
     43 
     44 pre.example {
     45     background-color:rgb(250, 250, 250);
     46     border:1px solid rgb(200, 200, 200);
     47     padding-left:4px;
     48     padding-right:4px;
     49 }
     50 
     51 table { width: 100%; }
     52 
     53 img {
     54     display:block;
     55     margin:10px auto 10px auto;
     56     border:none
     57 }
     58 
     59 img.floatleft {
     60     float: left;
     61     margin: 4px;
     62     padding-right: 1em;
     63 }
     64 
     65 img.floatright {
     66     float: right;
     67     margin: 4px;
     68     padding-left: 1em;
     69 }
     70 
     71 ul {
     72     list-style-type:square;
     73     padding-left:1em;
     74     margin-left:1em
     75 }
     76 
     77 kbd {
     78     font-weight: bold;
     79 }
     80 
     81 div.navigation {
     82     background-color: #efebe7;
     83     line-height: 100%;
     84     top-margin: 5px;
     85     padding: 3px;
     86     /* background-color: #000000; */
     87     /* border-top-style: solid; */
     88     /* border-bottom-style: solid; */
     89     /* border-width: 0px; */
     90     /* border-top-width: 4px; */
     91     /* border-color: rgb(200, 200, 200); */
     92 }
     93 
     94 div.version {
     95     /* background-color: #efebe7; */
     96     line-height: 100%;
     97     padding: 3px;
     98     margin-right: 3px;
     99     font-size: smaller;
    100     float: right;
    101     font-style: italic;
    102 }
    103 
    104 div.version a {
    105     text-decoration: none;
    106 }
    107 
    108 .navlink {
    109     text-decoration: none;
    110     /* color: white; */
    111 }
    112 
    113 .index-cp {
    114     line-height:120%;
    115     font-size: smaller;
    116 }