resources/style.css

   1 body {
   2         font-size: 0.8rem;
   3         font-family: monospace;
   4         max-width: 125ch;
   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 }
  46
  47 #branches tr:hover td,
  48 #tags tr:hover td,
  49 #index tr:hover td,
  50 #log tr:hover td,
  51 #files tr:hover td {
  52         background-color: #eee;
  53 }
  54
  55 #index tr td:nth-child(2),
  56 #tags tr td:nth-child(3),
  57 #branches tr td:nth-child(3),
  58 #log tr td:nth-child(2) {
  59         white-space: normal;
  60 }
  61
  62 #log tr td:nth-child(3) {
  63         max-width: 35ch;
  64 }
  65
  66 #log tr td:nth-child(2) {
  67         max-width: 65ch;
  68 }
  69
  70 .desc {
  71         color: #555;
  72         margin: 0.5em 0;
  73 }
  74
  75 hr {
  76         border: 0;
  77         border-top: 1px solid #555;
  78         height: 1px;
  79 }
  80
  81 pre a.h {
  82         color: #555;
  83 }
  84
  85 .A,
  86 span.i,
  87 pre a.i {
  88         color: #00A000;
  89 }
  90
  91 .D,
  92 span.d,
  93 pre a.d {
  94         color: #A00000;
  95 }
  96
  97 pre a.h:hover,
  98 pre a.i:hover,
  99 pre a.d:hover {
 100         text-decoration: none;
 101 }
 102
 103 .clone {
 104         padding: 0.25em 0.5em;
 105         border: 1px solid #555;
 106         border-radius: 5px;
 107         width: max-content;
 108         margin: 0.5em 0;
 109 }
 110
 111 .clone a {
 112         color: #555;
 113 }
 114
 115 .logo {
 116         float: left;
 117         padding-right: 1em;
 118 }