##// END OF EJS Templates
pullrequest: indent PR descriptions in overview
Mads Kiilerich -
r4023:e29b927d default
parent child Browse files
Show More
@@ -4656,6 +4656,9 div.pr {
4656 margin: 0px 20px;
4656 margin: 0px 20px;
4657 padding: 10px 4px;
4657 padding: 10px 4px;
4658 }
4658 }
4659 div.pr-desc {
4660 margin: 0px 20px;
4661 }
4659 div.pr-closed {
4662 div.pr-closed {
4660 background-color: #eee;
4663 background-color: #eee;
4661 }
4664 }
@@ -12,7 +12,7
12 %endif
12 %endif
13 </div>
13 </div>
14 <h5 style="border:0px;padding-bottom:0px">${_('Title')}: ${pr.title}</h5>
14 <h5 style="border:0px;padding-bottom:0px">${_('Title')}: ${pr.title}</h5>
15 <div>${pr.description}</div>
15 <div class="pr-desc">${pr.description}</div>
16 </div>
16 </div>
17 % endfor
17 % endfor
18
18
General Comments 0
You need to be logged in to leave comments. Login now