117 lines
		
	
	
		
			1.6 KiB
		
	
	
	
		
			CSS
		
	
	
	
	
	
			
		
		
	
	
			117 lines
		
	
	
		
			1.6 KiB
		
	
	
	
		
			CSS
		
	
	
	
	
	
div.skip-topbar {
 | 
						|
    padding-top: 40px;
 | 
						|
    margin-bottom: 1.5em;
 | 
						|
}
 | 
						|
 | 
						|
@media (max-width: 979px) {
 | 
						|
    div.skip-topbar {
 | 
						|
        padding-top: 0;
 | 
						|
        margin-bottom: 0;
 | 
						|
    }
 | 
						|
}
 | 
						|
 | 
						|
.logo {
 | 
						|
    margin-top: -10px;
 | 
						|
    height: 25px;
 | 
						|
}
 | 
						|
 | 
						|
th {
 | 
						|
    text-align: left;
 | 
						|
    vertical-align: top;
 | 
						|
}
 | 
						|
 | 
						|
.template {
 | 
						|
    display: none;
 | 
						|
}
 | 
						|
 | 
						|
table.productList {
 | 
						|
    border-collapse: separate;
 | 
						|
    border-spacing: 0em 1em;
 | 
						|
}
 | 
						|
 | 
						|
span:target > span.dep-tree-line {
 | 
						|
    font-style: italic;
 | 
						|
    font-weight: bold;
 | 
						|
}
 | 
						|
 | 
						|
:target {
 | 
						|
    padding-top: 40px;
 | 
						|
    margin-top: -40px;
 | 
						|
    display: inline-block; /* required for webkit browsers */
 | 
						|
}
 | 
						|
 | 
						|
span.disabled-project, span.disabled-jobset, span.disabled-job {
 | 
						|
    text-decoration: line-through;
 | 
						|
}
 | 
						|
 | 
						|
span.hidden-project a, span.hidden-jobset a {
 | 
						|
    color: gray;
 | 
						|
}
 | 
						|
 | 
						|
table.info-table th {
 | 
						|
    padding-right: 1.0em;
 | 
						|
    padding-bottom: 0.2em;
 | 
						|
}
 | 
						|
 | 
						|
/* Missing in bootstrap 2.0.2 */
 | 
						|
.text-warning {
 | 
						|
    color: #c09853;
 | 
						|
}
 | 
						|
 | 
						|
table.clickable-rows > tbody > tr {
 | 
						|
    cursor: pointer;
 | 
						|
}
 | 
						|
 | 
						|
h2 {
 | 
						|
    font-size: 150%;
 | 
						|
    margin-bottom: 0em;
 | 
						|
}
 | 
						|
 | 
						|
h3 {
 | 
						|
    font-size: 120%;
 | 
						|
    margin-top: 0.5em;
 | 
						|
    margin-bottom: 0em;
 | 
						|
}
 | 
						|
 | 
						|
div.page-header {
 | 
						|
    margin-top: 1em;
 | 
						|
    margin-bottom: 1em;
 | 
						|
    padding-top: 0em;
 | 
						|
    padding-bottom: 0.5em;
 | 
						|
    color: #999999;
 | 
						|
    font-size: 123.809%;
 | 
						|
    font-weight: normal;
 | 
						|
}
 | 
						|
 | 
						|
.shell-prompt {
 | 
						|
    color: gray;
 | 
						|
}
 | 
						|
 | 
						|
div.news-item:not(:first-child) {
 | 
						|
    margin-top: 1em;
 | 
						|
}
 | 
						|
 | 
						|
td.nowrap {
 | 
						|
    white-space: nowrap;
 | 
						|
}
 | 
						|
 | 
						|
.override-link a {
 | 
						|
    color: inherit;
 | 
						|
}
 | 
						|
 | 
						|
.actions {
 | 
						|
    font-weight: bold;
 | 
						|
}
 | 
						|
 | 
						|
.star {
 | 
						|
    color: black;
 | 
						|
    font-size: 110%;
 | 
						|
}
 | 
						|
 | 
						|
.star:hover {
 | 
						|
    cursor: pointer;
 | 
						|
}
 | 
						|
 | 
						|
span.keep-whitespace {
 | 
						|
    white-space: pre-wrap;
 | 
						|
} |