2012-08-22 00:01:20 +02:00
|
|
|
/**
|
|
|
|
* @provides phabricator-filetree-view-css
|
|
|
|
*/
|
|
|
|
|
|
|
|
.phabricator-filetree {
|
|
|
|
padding: 4px 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* NOTE: Until the whole side nav situation gets cleaned up, we need to be
|
|
|
|
highly specific in specifying selectors here, to override side nav styles.
|
|
|
|
*/
|
|
|
|
|
|
|
|
.phabricator-filetree .phabricator-filetree-item {
|
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
2012-12-07 22:32:14 +01:00
|
|
|
display: block;
|
2012-08-22 00:01:20 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-filetree span.phabricator-filetree-icon {
|
|
|
|
background-repeat: no-repeat;
|
|
|
|
background-position: 0 2px;
|
|
|
|
width: 16px;
|
|
|
|
height: 20px;
|
|
|
|
padding: 0;
|
|
|
|
float: left;
|
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-filetree span.phabricator-filetree-name {
|
|
|
|
padding: 0;
|
2012-12-07 22:32:14 +01:00
|
|
|
margin-left: 4px;
|
2012-08-22 00:01:20 +02:00
|
|
|
font-size: 11px;
|
|
|
|
font-weight: normal;
|
|
|
|
line-height: 20px;
|
|
|
|
white-space: nowrap;
|
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-filetree span.phabricator-filetree-item
|
|
|
|
.phabricator-filetree-name {
|
2013-01-14 22:40:51 +01:00
|
|
|
color: #a0a0a0;
|
2012-08-22 00:01:20 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-filetree a.phabricator-filetree-item
|
|
|
|
.phabricator-filetree-name {
|
2013-01-14 22:40:51 +01:00
|
|
|
color: #fff;
|
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-filetree a.phabricator-filetree-item:hover {
|
|
|
|
background-image: url(/rsrc/image/menu_hover.png);
|
|
|
|
background-repeat: repeat-x;
|
|
|
|
text-decoration: none;
|
2012-08-22 00:01:20 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-filetree-icon-file {
|
|
|
|
background-image: url(/rsrc/image/icon/fatcow/page_white_text.png);
|
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-filetree-icon-dir {
|
|
|
|
background-image: url(/rsrc/image/icon/fatcow/folder.png);
|
|
|
|
}
|
|
|
|
|
|
|
|
.phabricator-nav-local
|
|
|
|
a.phabricator-active-nav-focus {
|
2013-01-14 22:40:51 +01:00
|
|
|
background-image: url(/rsrc/image/menu_selected.png);
|
|
|
|
background-repeat: repeat-x;
|
2012-08-22 00:01:20 +02:00
|
|
|
}
|