/* fix styling for empty href */
.nav, .pagination, .carousel, .panel-title a { cursor: pointer; }

/* margins for lists */
.top5 { margin-top: 5px; }
.top10 { margin-top: 10px; }
.top15 { margin-top: 15px; }
.top20 { margin-top: 20px; }
.top30 { margin-top:30px; }