2012-08-15 19:45:06 +02:00
|
|
|
/**
|
|
|
|
* @provides phabricator-source-code-view-css
|
|
|
|
*/
|
|
|
|
|
2012-12-17 02:58:16 +01:00
|
|
|
.phabricator-source-code-container {
|
|
|
|
overflow-x: auto;
|
|
|
|
overflow-y: hidden;
|
2017-07-17 20:08:17 +02:00
|
|
|
border: 1px solid {$paste.border};
|
2015-05-31 21:13:28 +02:00
|
|
|
border-radius: 3px;
|
2012-12-17 02:58:16 +01:00
|
|
|
}
|
|
|
|
|
2016-12-14 20:35:51 +01:00
|
|
|
.phui-oi .phabricator-source-code-container {
|
2014-06-12 00:48:52 +02:00
|
|
|
margin-left: 8px;
|
|
|
|
}
|
|
|
|
|
2012-08-15 19:45:06 +02:00
|
|
|
.phabricator-source-code {
|
|
|
|
white-space: pre-wrap;
|
2012-08-15 22:45:53 +02:00
|
|
|
padding: 2px 8px 1px;
|
2013-08-04 21:11:10 +02:00
|
|
|
width: 100%;
|
2012-08-15 19:45:06 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-source-line {
|
2017-07-17 20:08:17 +02:00
|
|
|
background-color: {$paste.highlight};
|
2012-08-15 19:45:06 +02:00
|
|
|
text-align: right;
|
2017-07-17 20:08:17 +02:00
|
|
|
border-right: 1px solid {$paste.border};
|
2015-05-31 21:13:28 +02:00
|
|
|
color: {$sh-yellowtext};
|
2012-08-15 19:45:06 +02:00
|
|
|
|
|
|
|
/* When the user selects rows of source, don't visibly select the line
|
|
|
|
numbers beside them. We use JS to strip the line numbers out when the user
|
|
|
|
copies the text. */
|
|
|
|
-moz-user-select: -moz-none;
|
|
|
|
-khtml-user-select: none;
|
|
|
|
-webkit-user-select: none;
|
|
|
|
-ms-user-select: none;
|
|
|
|
user-select: none;
|
2015-09-17 17:23:22 +02:00
|
|
|
white-space: nowrap;
|
2012-08-15 19:45:06 +02:00
|
|
|
}
|
2012-12-17 01:33:42 +01:00
|
|
|
|
2018-03-23 15:29:28 +01:00
|
|
|
th.phabricator-source-line a,
|
|
|
|
th.phabricator-source-line span {
|
2018-03-01 16:43:53 +01:00
|
|
|
display: block;
|
|
|
|
padding: 2px 6px 1px 12px;
|
2015-02-26 20:09:10 +01:00
|
|
|
}
|
|
|
|
|
2018-03-23 15:29:28 +01:00
|
|
|
th.phabricator-source-line a {
|
|
|
|
color: {$darkbluetext};
|
|
|
|
}
|
|
|
|
|
2018-03-01 16:43:53 +01:00
|
|
|
th.phabricator-source-line a:hover {
|
2017-07-17 20:08:17 +02:00
|
|
|
background: {$paste.border};
|
2018-03-01 16:43:53 +01:00
|
|
|
text-decoration: none;
|
2015-02-26 20:09:10 +01:00
|
|
|
}
|
|
|
|
|
2013-03-14 17:32:02 +01:00
|
|
|
.phabricator-source-highlight {
|
2017-07-17 20:08:17 +02:00
|
|
|
background: {$paste.highlight};
|
2013-03-14 17:32:02 +01:00
|
|
|
}
|
|
|
|
|
2012-12-17 01:33:42 +01:00
|
|
|
.phabricator-source-code-summary {
|
2013-01-25 23:57:10 +01:00
|
|
|
padding-bottom: 8px;
|
2012-12-17 01:33:42 +01:00
|
|
|
}
|
2012-12-17 02:58:16 +01:00
|
|
|
|
|
|
|
/* If a Paste has enormously long lines, truncate them in the summary on the
|
|
|
|
list page. They'll be fully visible on the Paste itself. */
|
|
|
|
.phabricator-source-code-summary .phabricator-source-code-container {
|
|
|
|
overflow-x: hidden;
|
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-source-code-summary .phabricator-source-code {
|
|
|
|
white-space: nowrap;
|
|
|
|
}
|
2018-04-08 20:38:19 +02:00
|
|
|
|
|
|
|
|
|
|
|
.phabricator-source-blame-skip,
|
|
|
|
.phabricator-source-blame-info {
|
|
|
|
-moz-user-select: -moz-none;
|
|
|
|
-khtml-user-select: none;
|
|
|
|
-webkit-user-select: none;
|
|
|
|
-ms-user-select: none;
|
|
|
|
user-select: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-source-blame-skip {
|
|
|
|
min-width: 28px;
|
|
|
|
border-right: 1px solid {$thinblueborder};
|
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-source-blame-info {
|
|
|
|
white-space: nowrap;
|
|
|
|
min-width: 130px;
|
|
|
|
border-right: 1px solid {$paste.border};
|
|
|
|
padding-right: 8px;
|
2018-04-09 15:05:40 +02:00
|
|
|
|
|
|
|
vertical-align: middle;
|
|
|
|
color: #ffffff;
|
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-source-blame-info a {
|
|
|
|
color: {$darkbluetext};
|
|
|
|
text-shadow: 1px 1px rgba(0, 0, 0, 0.111);
|
2018-04-08 20:38:19 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-source-blame-skip a {
|
|
|
|
/* Give the user a larger click target. */
|
|
|
|
display: block;
|
|
|
|
padding: 2px 8px;
|
|
|
|
}
|
|
|
|
|
2018-04-09 15:05:40 +02:00
|
|
|
.phabricator-source-blame-skip a .phui-icon-view {
|
|
|
|
color: {$darkbluetext};
|
|
|
|
}
|
|
|
|
|
2018-04-08 20:38:19 +02:00
|
|
|
.device-desktop .phabricator-source-blame-skip a:hover {
|
|
|
|
background: {$bluebackground};
|
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-source-blame-author {
|
|
|
|
display: inline-block;
|
2018-04-09 15:05:40 +02:00
|
|
|
vertical-align: middle;
|
2018-04-08 20:38:19 +02:00
|
|
|
padding: 0;
|
2018-04-09 15:05:40 +02:00
|
|
|
margin: 0 6px 0 8px;
|
2018-04-08 20:38:19 +02:00
|
|
|
width: 16px;
|
|
|
|
height: 16px;
|
|
|
|
background-size: 100% 100%;
|
|
|
|
background-repeat: no-repeat;
|
|
|
|
}
|