##// END OF EJS Templates
small ui fixes for pr page
marcink -
r3677:3c79c197 beta
parent child Browse files
Show More
@@ -4582,7 +4582,7 b' div.pr-title {'
4582 div.pr {
4582 div.pr {
4583 border-bottom: 1px solid #DDD;
4583 border-bottom: 1px solid #DDD;
4584 margin: 0px 20px;
4584 margin: 0px 20px;
4585 padding: 10px 0px;
4585 padding: 10px 4px;
4586 }
4586 }
4587 div.pr-closed {
4587 div.pr-closed {
4588 background-color: rgba(245,245,245,0.5);
4588 background-color: rgba(245,245,245,0.5);
@@ -29,5 +29,10 b' YUE.onDOMReady(function(){'
29 },'.pager_link');
29 },'.pager_link');
30 });
30 });
31 </script>
31 </script>
32 <div class="notification-paginator">
33 <div class="pagination-wh pagination-left">
32 ${c.pullrequests_pager.pager('$link_previous ~2~ $link_next')}
34 ${c.pullrequests_pager.pager('$link_previous ~2~ $link_next')}
33 </div>
35 </div>
36 </div>
37
38 </div>
General Comments 0
You need to be logged in to leave comments. Login now