resources/style.css

   1 body {
   2         font-size: 0.8rem;
   3         font-family: monospace;
   4         max-width: 100ch;
   5         width: max-content;
   6 }
   7
   8 h1, h2, h3, h4, h5, h6 {
   9         margin: 0;
  10 }
  11
  12 img, h1, h2 {
  13         vertical-align: middle;
  14 }
  15
  16 img {
  17         border: 0;
  18 }
  19
  20 a:target {
  21         background-color: #eee;
  22 }
  23
  24 a.d,
  25 a.h,
  26 a.i,
  27 a.line {
  28         text-decoration: none;
  29 }
  30
  31 article img {
  32         max-width: 100%;
  33 }
  34
  35 table thead td {
  36         font-weight: bold;
  37 }
  38
  39 table td {
  40         padding: 0 0.4em;
  41 }
  42
  43 #content table td {
  44         vertical-align: top;
  45         white-space: nowrap;
  46 }
  47
  48 #branches tr:hover td,
  49 #tags tr:hover td,
  50 #index tr:hover td,
  51 #log tr:hover td,
  52 #files tr:hover td {
  53         background-color: #eee;
  54 }
  55
  56 #index tr td:nth-child(2),
  57 #tags tr td:nth-child(3),
  58 #branches tr td:nth-child(3),
  59 #log tr td:nth-child(2) {
  60         white-space: normal;
  61 }
  62
  63 #log tr td:nth-child(3) {
  64         max-width: 35ch;
  65 }
  66
  67 #log tr td:nth-child(2) {
  68         max-width: 65ch;
  69 }
  70
  71 .desc {
  72         color: #555;
  73         margin: 0.5em 0;
  74 }
  75
  76 hr {
  77         border: 0;
  78         border-top: 1px solid #555;
  79         height: 1px;
  80 }
  81
  82 pre a.h {
  83         color: #555;
  84 }
  85
  86 .A,
  87 span.i,
  88 pre a.i {
  89         color: #00A000;
  90 }
  91
  92 .D,
  93 span.d,
  94 pre a.d {
  95         color: #A00000;
  96 }
  97
  98 pre a.h:hover,
  99 pre a.i:hover,
 100 pre a.d:hover {
 101         text-decoration: none;
 102 }
 103
 104 .clone {
 105         padding: 0.25em 0.5em;
 106         border: 1px solid #555;
 107         border-radius: 5px;
 108         width: max-content;
 109         margin: 0.5em 0;
 110 }
 111
 112 .clone a {
 113         color: #555;
 114 }
 115
 116 .logo {
 117         float: left;
 118         padding-right: 1em;
 119 }