2014-12-03 09:27:31 -05:00
|
|
|
.file-content.code {
|
2017-11-02 19:59:51 -04:00
|
|
|
border: 0;
|
2014-01-27 06:12:58 -05:00
|
|
|
box-shadow: none;
|
2016-03-16 19:29:47 -04:00
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
2014-01-27 06:12:58 -05:00
|
|
|
table-layout: fixed;
|
|
|
|
|
|
|
|
pre {
|
2016-07-05 08:52:20 -04:00
|
|
|
padding: 10px 0;
|
2017-11-02 19:59:51 -04:00
|
|
|
border: 0;
|
2014-01-27 06:12:58 -05:00
|
|
|
border-radius: 0;
|
|
|
|
font-family: $monospace_font;
|
2016-07-14 04:12:10 -04:00
|
|
|
font-size: $code_font_size;
|
2016-09-22 17:09:54 -04:00
|
|
|
line-height: 19px;
|
2014-01-27 06:12:58 -05:00
|
|
|
margin: 0;
|
2014-12-03 09:27:31 -05:00
|
|
|
overflow: auto;
|
|
|
|
overflow-y: hidden;
|
|
|
|
white-space: pre;
|
|
|
|
word-wrap: normal;
|
2016-01-25 05:42:47 -05:00
|
|
|
border-left: 1px solid;
|
2014-01-27 06:12:58 -05:00
|
|
|
|
|
|
|
code {
|
2016-07-19 14:19:22 -04:00
|
|
|
display: inline-block;
|
|
|
|
min-width: 100%;
|
2014-12-03 09:27:31 -05:00
|
|
|
font-family: $monospace_font;
|
2016-07-14 04:12:10 -04:00
|
|
|
white-space: normal;
|
2014-01-27 06:12:58 -05:00
|
|
|
word-wrap: normal;
|
2014-01-27 07:21:40 -05:00
|
|
|
padding: 0;
|
|
|
|
|
|
|
|
.line {
|
2016-07-14 04:12:10 -04:00
|
|
|
display: block;
|
2016-07-05 08:52:20 -04:00
|
|
|
width: 100%;
|
|
|
|
min-height: 19px;
|
|
|
|
padding-left: 10px;
|
|
|
|
padding-right: 10px;
|
2016-07-19 14:19:22 -04:00
|
|
|
white-space: pre;
|
2014-01-27 07:21:40 -05:00
|
|
|
}
|
2014-01-27 06:12:58 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
.line-numbers {
|
|
|
|
padding: 10px;
|
|
|
|
text-align: right;
|
|
|
|
float: left;
|
|
|
|
|
|
|
|
a {
|
|
|
|
font-family: $monospace_font;
|
|
|
|
display: block;
|
2015-01-26 18:15:51 -05:00
|
|
|
font-size: $code_font_size !important;
|
2017-08-10 10:05:23 -04:00
|
|
|
min-height: 19px;
|
2014-01-30 20:12:41 -05:00
|
|
|
white-space: nowrap;
|
2014-01-27 06:12:58 -05:00
|
|
|
|
|
|
|
i {
|
2016-02-22 09:09:13 -05:00
|
|
|
float: left;
|
|
|
|
margin-top: 3px;
|
|
|
|
margin-right: 5px;
|
2014-01-30 20:12:41 -05:00
|
|
|
visibility: hidden;
|
2014-01-27 06:12:58 -05:00
|
|
|
}
|
|
|
|
|
2017-02-22 20:27:06 -05:00
|
|
|
&:hover,
|
|
|
|
&:focus {
|
|
|
|
outline: none;
|
|
|
|
|
2017-07-09 04:30:05 -04:00
|
|
|
i {
|
2017-02-22 20:27:06 -05:00
|
|
|
visibility: visible;
|
|
|
|
}
|
2014-01-27 06:12:58 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2014-12-03 09:27:31 -05:00
|
|
|
}
|