You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
aggregation-platform/plugins/developer/less/jenkinsLog.less

26 lines
377 B

9 years ago
.log-window {
border-top: 1px solid #d4d4d4;
overflow: auto;
}
.log-window-inner * {
font-family: "DroidSansMonoRegular", monospace;
line-height: 13px;
}
.log-panel {
position: static;
height: 100%;
width: 100%;
overflow: auto;
border: none;
padding: 3px;
}
.log-panel-inner * {
font-family: "DroidSansMonoRegular", monospace;
line-height: 13px;
}