@import "bourbon";

.pagination {
	display: inline-block;
	border: 1px solid #CDCDCD;
	border-radius: 3px;
}

.pagination a {
	display: block;
	float: left;
	width: 20px;
	height: 20px;
	outline: none;
	border-right: 1px solid #CDCDCD; 
	border-left: 1px solid #CDCDCD;
	color: #555555;
	vertical-align: middle;
	text-align: center;
	text-decoration: none;
	font-weight: bold;
	font-size: 16px;
	font-family: Times, 'Times New Roman', Georgia, Palatino; /* ATTN: need a better font stack */   
	@include linear-gradient(#F3F3F3, #D3D3D3);
	&:hover, &:focus, &:active {
		@include linear-gradient(#E4E4E4, #CECECE, $fallback: #CECECE);
	}
	&.disabled, &.disabled:hover, &.disabled:focus, &.disabled:active {
		@include linear-gradient(#F3F3F3, #D3D3D3);
		color: #A8A8A8;
		cursor: default;
	}
}

.pagination a:first-child {
	border: none;
	border-radius: 2px 0 0 2px;
}

.pagination a:last-child {
	border: none;
	border-radius: 0 2px 2px 0;
}

.pagination input {
	float: left;
	margin: 0;
	padding: 0;
	width: 120px;
	height: 20px;
	outline: none;
	border: none;
	vertical-align: middle;
	text-align: center;
}

/* gigantic class for demo purposes */

.gigantic.pagination {
	margin: 30px 0;
}

.gigantic.pagination a {
	height: 60px;
	width: 60px;
	font-size: 50px;
	line-height: 50px;
}

.gigantic.pagination input {
	width: 300px;
	height: 60px;
	font-size: 30px;
}

/* log element for demo purposes */

.log {
	display: none;
	background-color: #EDEDED;
	border: 1px solid #B4B4B4;
	height: 300px;
	width: 524px;
	overflow: auto;
	margin-left: 0;
	list-style: none;
	padding: 10px;
	li {
		margin-top: 0;
		margin-bottom: 5px;
	}
}