app/assets/stylesheets/generic/highlight.scss


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

.file-content.code {
  border: none;
  box-shadow: none;
  margin: 0px;
  padding: 0px;
  table-layout: fixed;

  pre {
    padding: 10px;
    border: none;
    border-radius: 0;
    font-family: $monospace_font;
    font-size: $code_font_size !important;
    line-height: $code_line_height !important;
    margin: 0;
    overflow: auto;
    overflow-y: hidden;
    white-space: pre;
    word-wrap: normal;

    code {
      font-family: $monospace_font;
      white-space: pre;
      word-wrap: normal;
      padding: 0;

      .line {
        display: inline;
      }
    }
  }

  .line-numbers {
    padding: 10px;
    text-align: right;
    float: left;

    a {
      font-family: $monospace_font;
      display: block;
      font-size: $code_font_size !important;
      line-height: $code_line_height !important;
      white-space: nowrap;

      i {
        visibility: hidden;
        @extend .pull-left;
      }

      &:hover i {
        visibility: visible;
      }
    }
  }
}

.note-text .code {
  border: none;
  box-shadow: none;
  background: $background-color;
  padding: 1em;
  overflow-x: auto;

  code {
    font-family: $monospace_font;
    white-space: pre;
    word-wrap: normal;
    padding: 0;
  }
}