typography.scss
1.67 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
/**
 * Headers
 *
 */
h1.page-title {
  @include page-title;
  font-size: 28px;
}
h2.page-title {
  @include page-title;
  font-size: 24px;
}
h3.page-title {
  @include page-title;
  font-size: 22px;
}
h6 {
  color: #888;
  text-transform: uppercase;
}
/** CODE **/
pre {
  font-family: $monospace_font;
  &.dark {
    background: #333;
    color: #f5f5f5;
  }
}
/**
 * Links
 *
 */
a {
  outline: none;
  color: $link_color;
  &:hover {
    text-decoration: none;
    color: $link_hover_color;
  }
  &:focus {
    text-decoration: underline;
  }
  &.darken {
    color: $style_color;
  }
  &.lined {
    text-decoration: underline;
    &:hover { text-decoration: underline; }
  }
  &.gray {
    color: gray;
  }
  &.supp_diff_link {
    text-align: center;
    padding: 20px 0;
    background: #f1f1f1;
    width: 100%;
    float: left;
  }
  &.neib  {
    margin-right: 15px;
  }
}
a:focus {
  outline: none;
}
.monospace {
  font-family: $monospace_font;
}
/**
 * Wiki typography
 *
 */
.wiki {
  @include md-typography;
  /* Link to current header. */
  h1, h2, h3, h4, h5, h6 {
    position: relative;
    &:hover > :last-child {
      $size: 16px;
      position: absolute;
      right: 100%;
      top: 50%;
      margin-top: -$size/2;
      margin-right: 0px;
      padding-right: 20px;
      display: inline-block;
      width: $size;
      height: $size;
      background-image: image-url("icon-link.png");
      background-size: contain;
      background-repeat: no-repeat;
    }
  }
  ul {
    padding: 0;
    margin: 0 0 9px 25px !important;
  }
}
.md {
  @include md-typography;
}
/**
 * Textareas intended for GFM
 *
 */
textarea.js-gfm-input {
  font-family: $monospace_font;
}