2012-08-15 10:45:06 -07:00
|
|
|
/**
|
|
|
|
* @provides phabricator-source-code-view-css
|
|
|
|
*/
|
|
|
|
|
2012-12-16 17:58:16 -08:00
|
|
|
.phabricator-source-code-container {
|
|
|
|
overflow-x: auto;
|
|
|
|
overflow-y: hidden;
|
2015-05-31 12:13:28 -07:00
|
|
|
border: 1px solid {$sh-lightyellowborder};
|
|
|
|
border-radius: 3px;
|
2015-09-17 08:23:22 -07:00
|
|
|
background-color: #FFFEF5;
|
2012-12-16 17:58:16 -08:00
|
|
|
}
|
|
|
|
|
2014-06-11 15:48:52 -07:00
|
|
|
.phui-object-item .phabricator-source-code-container {
|
|
|
|
margin-left: 8px;
|
|
|
|
}
|
|
|
|
|
2013-11-23 02:37:39 +00:00
|
|
|
.phabricator-source-code-view tr:first-child * {
|
|
|
|
padding-top: 8px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-source-code-view tr:last-child * {
|
|
|
|
padding-bottom: 8px;
|
|
|
|
}
|
|
|
|
|
2012-08-15 10:45:06 -07:00
|
|
|
.phabricator-source-code {
|
|
|
|
white-space: pre-wrap;
|
2012-08-15 13:45:53 -07:00
|
|
|
padding: 2px 8px 1px;
|
2013-08-04 12:11:10 -07:00
|
|
|
width: 100%;
|
2012-08-15 10:45:06 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-source-line {
|
2015-05-31 12:13:28 -07:00
|
|
|
background-color: {$sh-yellowbackground};
|
2012-08-15 10:45:06 -07:00
|
|
|
text-align: right;
|
2012-08-15 13:45:53 -07:00
|
|
|
padding: 2px 6px 1px 12px;
|
2015-05-31 12:13:28 -07:00
|
|
|
border-right: 1px solid {$sh-lightyellowborder};
|
|
|
|
color: {$sh-yellowtext};
|
2012-08-15 10:45:06 -07: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 08:23:22 -07:00
|
|
|
white-space: nowrap;
|
2012-08-15 10:45:06 -07:00
|
|
|
}
|
2012-12-16 16:33:42 -08:00
|
|
|
|
2015-02-26 11:09:10 -08:00
|
|
|
th.phabricator-source-line a {
|
|
|
|
color: {$darkbluetext};
|
|
|
|
}
|
|
|
|
|
|
|
|
th.phabricator-source-line:hover {
|
2015-05-31 12:13:28 -07:00
|
|
|
background: {$sh-lightyellowborder};
|
|
|
|
cursor: pointer;
|
2015-02-26 11:09:10 -08:00
|
|
|
}
|
|
|
|
|
2013-03-14 09:32:02 -07:00
|
|
|
.phabricator-source-highlight {
|
2015-05-31 12:13:28 -07:00
|
|
|
background: {$sh-yellowbackground};
|
2013-03-14 09:32:02 -07:00
|
|
|
}
|
|
|
|
|
2012-12-16 16:33:42 -08:00
|
|
|
.phabricator-source-code-summary {
|
2013-01-25 14:57:10 -08:00
|
|
|
padding-bottom: 8px;
|
2012-12-16 16:33:42 -08:00
|
|
|
}
|
2012-12-16 17:58:16 -08: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;
|
|
|
|
}
|