2012-02-29 00:45:38 +02:00
|
|
|
/**
|
2012-08-16 09:13:50 +03:00
|
|
|
* This file represent some UI that can be changed
|
|
|
|
* during web app restyle or theme select.
|
|
|
|
*
|
2012-02-29 00:45:38 +02:00
|
|
|
* Next items should be placed there
|
|
|
|
* - link colors
|
2012-06-12 14:58:44 +03:00
|
|
|
* - header restyles
|
2012-02-29 00:45:38 +02:00
|
|
|
*
|
|
|
|
*/
|
|
|
|
.ui_mars {
|
|
|
|
/*
|
|
|
|
* Application Header
|
|
|
|
*
|
|
|
|
*/
|
2012-08-16 09:13:50 +03:00
|
|
|
header {
|
2013-02-16 21:24:51 +02:00
|
|
|
@extend .header-dark;
|
2012-11-20 23:05:15 +02:00
|
|
|
&.navbar-gitlab {
|
|
|
|
.navbar-inner {
|
|
|
|
background: #474D57 url('bg-header.png') repeat-x bottom;
|
|
|
|
border-bottom: 1px solid #444;
|
2012-05-19 12:00:46 +03:00
|
|
|
}
|
|
|
|
}
|
2012-11-20 23:05:15 +02:00
|
|
|
|
2012-08-16 09:13:50 +03:00
|
|
|
.search {
|
|
|
|
.search-input {
|
2012-03-07 23:55:46 +02:00
|
|
|
border: 1px solid rgba(0, 0, 0, 0.7);
|
|
|
|
background-color: #D2D5DA;
|
|
|
|
background-color: rgba(255, 255, 255, 0.5);
|
|
|
|
|
|
|
|
&:focus {
|
|
|
|
background-color: white;
|
|
|
|
}
|
2012-02-29 23:21:23 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
.search-input::-webkit-input-placeholder {
|
|
|
|
color: #666;
|
2012-02-29 00:45:38 +02:00
|
|
|
}
|
2013-02-16 21:24:51 +02:00
|
|
|
.separator {
|
|
|
|
background: #31363E;
|
|
|
|
border-left: 1px solid #666;
|
2012-02-29 00:45:38 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|