view 3rdparty/bootstrap/less/pager.less @ 5821:e7b30ab60941

Fix REST API for WSGI Add dictionary-like headers attribute. Similar to the apache implementation in same directory but we look up the given header in the wsgi environment. Environment entries are mangled (all uppercase, '-' replaced with '_', prefix HTTP_). So on lookup we mangle the given name first. This allows the rest implementation (and others) to look up headers.
author Ralf Schlatterbeck <rsc@runtux.com>
date Fri, 21 Jun 2019 18:17:42 +0200
parents c109f7c1e477
children
line wrap: on
line source

//
// Pager pagination
// --------------------------------------------------


.pager {
  margin: @baseLineHeight 0;
  list-style: none;
  text-align: center;
  .clearfix();
}
.pager li {
  display: inline;
}
.pager li > a,
.pager li > span {
  display: inline-block;
  padding: 5px 14px;
  background-color: #fff;
  border: 1px solid #ddd;
  .border-radius(15px);
}
.pager li > a:hover {
  text-decoration: none;
  background-color: #f5f5f5;
}
.pager .next > a,
.pager .next > span {
  float: right;
}
.pager .previous > a,
.pager .previous > span {
  float: left;
}
.pager .disabled > a,
.pager .disabled > a:hover,
.pager .disabled > span {
  color: @grayLight;
  background-color: #fff;
  cursor: default;
}

Roundup Issue Tracker: http://roundup-tracker.org/