##// END OF EJS Templates
pull-requests: add merge check that detects WIP marker in title. This will prevent merges in such case....
pull-requests: add merge check that detects WIP marker in title. This will prevent merges in such case. Usually WIP in title means unfinished task that needs still some work. This pattern is present in Gitlab/Github and is already quite common.

File last commit:

r1484:5e0cbb3f default
r4099:c12e69d0 default
Show More
alerts.less
57 lines | 1.1 KiB | text/x-less | LessCssLexer
.alert1 { .border ( @border-thickness-tags, @alert1 ); color:@alert1; }
.alert2 { .border ( @border-thickness-tags, @alert2 ); color:@alert2; }
.alert3 { .border ( @border-thickness-tags, @alert3 ); color:@alert3; }
.alert4 { .border ( @border-thickness-tags, @alert4 ); color:@alert4; }
.alert {
clear: both;
padding: @padding;
border: @border-thickness solid;
border-radius: @border-radius;
// overwritter css from specific alerts
color: @grey3;
border-color: @alert4;
background-color: @alert4-inner;
a {
text-decoration: underline;
}
.close {
color: @grey3;
}
}
.infoform .alert {
width: 100%;
margin-top: 0;
}
.alert-success {
border-color: @alert1;
background-color: @alert1-inner;
}
.alert-error {
border-color: @alert2;
background-color: @alert2-inner;
}
.alert-warning {
border-color: @alert3;
background-color: @alert3-inner;
}
.alert-dismissable {
padding-right: 10px;
.close {
margin-top: -5px;
}
}
.loginbox {
.alert {
margin: 0 auto 35px auto;
}
}