2011-11-26 13:34:55 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								// Mixins.less
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// Snippets of reusable CSS to develop faster and keep code readable
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// -----------------------------------------------------------------
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-08-17 13:58:01 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-08-20 11:20:48 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								// Clearfix for clearing floats like a boss h5bp.com/q
							 
						 
					
						
							
								
									
										
										
										
											2011-09-13 11:07:26 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								.clearfix() {
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  zoom: 1;
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  &:before,
							 
						 
					
						
							
								
									
										
										
										
											2011-09-11 06:29:38 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  &:after {
							 
						 
					
						
							
								
									
										
										
										
											2011-08-20 11:20:48 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    display: table;
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 17:28:42 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    *display: inline;
							 
						 
					
						
							
								
									
										
										
										
											2011-08-20 11:20:48 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    content: "";
							 
						 
					
						
							
								
									
										
										
										
											2011-09-11 06:29:38 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    zoom: 1;
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  &:after {
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    clear: both;
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// Center-align a block level element
							 
						 
					
						
							
								
									
										
										
										
											2011-09-13 11:07:26 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								.center-block() {
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  display: block;
							 
						 
					
						
							
								
									
										
										
										
											2011-09-03 12:00:01 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  margin-left: auto;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  margin-right: auto;
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-12-28 05:51:36 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								// IE7 inline-block
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.ie7-inline-block() {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  *display: inline; /* IE7 inline-block hack */
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  *zoom: 1;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								// Sizing shortcuts
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.size(@height: 5px, @width: 5px) {
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  width: @width;
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 17:28:42 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  height: @height;
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.square(@size: 5px) {
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  .size(@size, @size);
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// Input placeholder text
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.placeholder(@color: @grayLight) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  :-moz-placeholder {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    color: @color;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  ::-webkit-input-placeholder {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    color: @color;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// Font Stacks
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								#font {
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 16:37:14 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  #family {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    .serif() {
							 
						 
					
						
							
								
									
										
										
										
											2011-12-28 06:50:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      font-family: Georgia, "Times New Roman", Times, serif;
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 16:37:14 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    .sans-serif() {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    .monospace() {
							 
						 
					
						
							
								
									
										
										
										
											2012-01-03 08:05:14 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      font-family: Menlo, Monaco, "Courier New", monospace;
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 16:37:14 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    }
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 16:37:14 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  .shorthand(@size: @baseFontSize, @weight: normal, @lineHeight: @baseLineHeight) {
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    font-size: @size;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    font-weight: @weight;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    line-height: @lineHeight;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 16:37:14 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  .serif(@size: @baseFontSize, @weight: normal, @lineHeight: @baseLineHeight) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    #font > #family > .serif;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    #font > .shorthand(@size, @weight, @lineHeight);
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 16:37:14 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  .sans-serif(@size: @baseFontSize, @weight: normal, @lineHeight: @baseLineHeight) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    #font > #family > .sans-serif;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    #font > .shorthand(@size, @weight, @lineHeight);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  .monospace(@size: @baseFontSize, @weight: normal, @lineHeight: @baseLineHeight) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    #font > #family > .monospace;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    #font > .shorthand(@size, @weight, @lineHeight);
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// Grid System
							 
						 
					
						
							
								
									
										
										
										
											2011-09-09 01:36:56 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								.fixed-container() {
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  width: @siteWidth;
							 
						 
					
						
							
								
									
										
										
										
											2011-09-03 13:08:38 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  margin-left: auto;
							 
						 
					
						
							
								
									
										
										
										
											2011-09-03 13:09:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  margin-right: auto;
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  .clearfix();
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
									
										
										
										
											2011-10-17 14:04:31 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								.columns(@columns: 1) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  width: (@gridColumnWidth * @columns) + (@gridGutterWidth * (@columns - 1));
							 
						 
					
						
							
								
									
										
										
										
											2011-07-01 06:56:25 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
									
										
										
										
											2011-10-17 14:04:31 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								.offset(@columns: 1) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  margin-left: (@gridColumnWidth * @columns) + (@gridGutterWidth * (@columns - 1)) + (@gridGutterWidth * 2);
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
									
										
										
										
											2011-10-17 14:04:31 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-09-09 01:36:56 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								// Necessary grid styles for every column to make them appear next to each other horizontally
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.gridColumn() {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  float: left;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  margin-left: @gridGutterWidth;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// makeColumn can be used to mark any element (e.g., .content-primary) as a column without changing markup to .span something
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.makeColumn(@columnSpan: 1) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  .gridColumn();
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  .columns(@columnSpan);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// Border Radius
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.border-radius(@radius: 5px) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  -webkit-border-radius: @radius;
							 
						 
					
						
							
								
									
										
										
										
											2011-08-21 14:25:22 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								     -moz-border-radius: @radius;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          border-radius: @radius;
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 17:21:02 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								.border-radius-custom(@topLeft, @topRight, @bottomRight, @bottomLeft) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  -webkit-border-top-left-radius: @topLeft;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      -moz-border-radius-topleft: @topLeft;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          border-top-left-radius: @topLeft;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  -webkit-border-top-right-radius: @topRight;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      -moz-border-radius-topright: @topRight;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          border-top-right-radius: @topRight;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  -webkit-border-bottom-right-radius: @bottomRight;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      -moz-border-radius-bottomright: @bottomRight;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          border-bottom-right-radius: @bottomRight;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  -webkit-border-bottom-left-radius: @bottomLeft;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      -moz-border-radius-bottomleft: @bottomLeft;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          border-bottom-left-radius: @bottomLeft;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  -webkit-background-clip: padding-box;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								     -moz-background-clip: padding;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          background-clip: padding-box;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// Drop shadows
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.box-shadow(@shadow: 0 1px 3px rgba(0,0,0,.25)) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  -webkit-box-shadow: @shadow;
							 
						 
					
						
							
								
									
										
										
										
											2011-08-21 14:25:22 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								     -moz-box-shadow: @shadow;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          box-shadow: @shadow;
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// Transitions
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.transition(@transition) {
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  -webkit-transition: @transition;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								     -moz-transition: @transition;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      -ms-transition: @transition;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								       -o-transition: @transition;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          transition: @transition;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// Transform for scale and rotate
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// translate, rotate, scale -- need to finalize
							 
						 
					
						
							
								
									
										
										
										
											2011-11-12 16:46:02 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								.rotate(@degrees: 5deg) {
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  -webkit-transform: rotate(@degrees);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								     -moz-transform: rotate(@degrees);
							 
						 
					
						
							
								
									
										
										
										
											2011-10-04 15:55:35 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      -ms-transform: rotate(@degrees);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								       -o-transform: rotate(@degrees);
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								          transform: rotate(@degrees);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.scale(@value: 1.5) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  -webkit-transform: scale(@value);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								     -moz-transform: scale(@value);
							 
						 
					
						
							
								
									
										
										
										
											2011-10-04 15:55:35 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      -ms-transform: scale(@value);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								       -o-transform: scale(@value);
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								          transform: scale(@value);
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
									
										
										
										
											2011-10-04 15:55:35 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								.translate(@x: 0, @y: 0) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  -webkit-transform: translate(@x, @y);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								     -moz-transform: translate(@x, @y);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      -ms-transform: translate(@x, @y);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								       -o-transform: translate(@x, @y);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          transform: translate(@x, @y);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-06-29 02:56:49 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								// Background clipping
							 
						 
					
						
							
								
									
										
										
										
											2011-10-27 14:11:56 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								// Heads up: FF 3.6 and under need padding instead of padding-box
							 
						 
					
						
							
								
									
										
										
										
											2011-06-29 02:56:49 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								.background-clip(@clip) {
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  -webkit-background-clip: @clip;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								     -moz-background-clip: @clip;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          background-clip: @clip;
							 
						 
					
						
							
								
									
										
										
										
											2011-06-29 02:56:49 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-10-27 14:11:56 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								// Resize anything
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.resizable(@direction: both) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  resize: @direction; // Options: horizontal, vertical, both
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  overflow: auto; // Safari fix
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								// CSS3 Content Columns
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.content-columns(@columnCount, @columnGap: 20px) {
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  -webkit-column-count: @columnCount;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								     -moz-column-count: @columnCount;
							 
						 
					
						
							
								
									
										
										
										
											2011-08-21 14:25:22 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								          column-count: @columnCount;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  -webkit-column-gap: @columnGap;
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								     -moz-column-gap: @columnGap;
							 
						 
					
						
							
								
									
										
										
										
											2011-08-21 14:25:22 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								          column-gap: @columnGap;
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// Add an alphatransparency value to any background or border color (via Elyse Holladay)
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								#translucent {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  .background(@color: @white, @alpha: 1) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-color: hsla(hue(@color), saturation(@color), lightness(@color), @alpha);
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  .border(@color: @white, @alpha: 1) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-color: hsla(hue(@color), saturation(@color), lightness(@color), @alpha);
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 17:28:42 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    -webkit-background-clip: padding-box;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								       -moz-background-clip: padding;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								            background-clip: padding-box;
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 16:41:26 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								// Gradient Bar Colors for buttons and alerts
							 
						 
					
						
							
								
									
										
										
										
											2011-08-26 04:31:46 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								.gradientBar(@primaryColor, @secondaryColor) {
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 17:28:42 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  #gradient > .vertical(@primaryColor, @secondaryColor);
							 
						 
					
						
							
								
									
										
										
										
											2011-08-26 04:31:46 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  border-color: @secondaryColor @secondaryColor darken(@secondaryColor, 15%);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  border-color: rgba(0,0,0,.1) rgba(0,0,0,.1) fadein(rgba(0,0,0,.1), 15%);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								// Gradients
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								#gradient {
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  .horizontal(@startColor: #555, @endColor: #333) {
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-color: @endColor;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -khtml-gradient(linear, left top, right top, from(@startColor), to(@endColor)); // Konqueror
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -moz-linear-gradient(left, @startColor, @endColor); // FF 3.6+
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -ms-linear-gradient(left, @startColor, @endColor); // IE10
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -webkit-gradient(linear, left top, right top, color-stop(0%, @startColor), color-stop(100%, @endColor)); // Safari 4+, Chrome 2+
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -webkit-linear-gradient(left, @startColor, @endColor); // Safari 5.1+, Chrome 10+
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -o-linear-gradient(left, @startColor, @endColor); // Opera 11.10
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: linear-gradient(left, @startColor, @endColor); // Le standard
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    background-repeat: repeat-x;
							 
						 
					
						
							
								
									
										
										
										
											2011-09-03 03:31:14 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    filter: e(%("progid:DXImageTransform.Microsoft.gradient(startColorstr='%d', endColorstr='%d', GradientType=1)",@startColor,@endColor)); // IE9 and down
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  .vertical(@startColor: #555, @endColor: #333) {
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-color: @endColor;
							 
						 
					
						
							
								
									
										
										
										
											2011-06-30 15:15:37 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -khtml-gradient(linear, left top, left bottom, from(@startColor), to(@endColor)); // Konqueror
							 
						 
					
						
							
								
									
										
										
										
											2011-08-26 14:31:16 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -moz-linear-gradient(top, @startColor, @endColor); // FF 3.6+
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -ms-linear-gradient(top, @startColor, @endColor); // IE10
							 
						 
					
						
							
								
									
										
										
										
											2011-06-30 15:15:37 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%, @startColor), color-stop(100%, @endColor)); // Safari 4+, Chrome 2+
							 
						 
					
						
							
								
									
										
										
										
											2011-08-26 14:31:16 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -webkit-linear-gradient(top, @startColor, @endColor); // Safari 5.1+, Chrome 10+
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -o-linear-gradient(top, @startColor, @endColor); // Opera 11.10
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: linear-gradient(top, @startColor, @endColor); // The standard
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    background-repeat: repeat-x;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								   filter: e(%("progid:DXImageTransform.Microsoft.gradient(startColorstr='%d', endColorstr='%d', GradientType=0)",@startColor,@endColor)); // IE9 and down
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  .directional(@startColor: #555, @endColor: #333, @deg: 45deg) {
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-color: @endColor;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-repeat: repeat-x;
							 
						 
					
						
							
								
									
										
										
										
											2011-06-30 15:15:37 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -moz-linear-gradient(@deg, @startColor, @endColor); // FF 3.6+
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -ms-linear-gradient(@deg, @startColor, @endColor); // IE10
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -webkit-linear-gradient(@deg, @startColor, @endColor); // Safari 5.1+, Chrome 10+
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -o-linear-gradient(@deg, @startColor, @endColor); // Opera 11.10
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: linear-gradient(@deg, @startColor, @endColor); // The standard
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-08-23 05:19:39 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  .vertical-three-colors(@startColor: #00b3ee, @midColor: #7a43b6, @colorStop: 50%, @endColor: #c3325f) {
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-color: @endColor;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -webkit-gradient(linear, 0 0, 0 100%, from(@startColor), color-stop(@colorStop, @midColor), to(@endColor));
							 
						 
					
						
							
								
									
										
										
										
											2011-08-23 05:19:39 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -webkit-linear-gradient(@startColor, @midColor @colorStop, @endColor);
							 
						 
					
						
							
								
									
										
										
										
											2011-09-03 03:46:47 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -moz-linear-gradient(top, @startColor, @midColor @colorStop, @endColor);
							 
						 
					
						
							
								
									
										
										
										
											2011-08-23 05:19:39 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -ms-linear-gradient(@startColor, @midColor @colorStop, @endColor);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -o-linear-gradient(@startColor, @midColor @colorStop, @endColor);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: linear-gradient(@startColor, @midColor @colorStop, @endColor);
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    background-repeat: no-repeat;
							 
						 
					
						
							
								
									
										
										
										
											2011-09-03 03:31:14 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								    filter: e(%("progid:DXImageTransform.Microsoft.gradient(startColorstr='%d', endColorstr='%d', GradientType=0)",@startColor,@endColor)); // IE9 and down, gets no color-stop at all for proper fallback
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  .radial(@centerColor: #555, @outsideColor: #333)  {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-color: @outsideColor;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -webkit-gradient(radial, center center, 0, center center, 460, from(@centerColor), to(@outsideColor));
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -webkit-radial-gradient(circle, @centerColor, @outsideColor);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -moz-radial-gradient(circle, @centerColor, @outsideColor);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -ms-radial-gradient(circle, @centerColor, @outsideColor);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-repeat: no-repeat;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    // Opera cannot do radial gradients yet
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-11-27 02:41:17 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  .striped(@color,@angle: -45deg) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-color: @color;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -webkit-gradient(linear, 0 100%, 100% 0, color-stop(.25, rgba(255, 255, 255, .2)), color-stop(.25, transparent), color-stop(.5, transparent), color-stop(.5, rgba(255, 255, 255, .2)), color-stop(.75, rgba(255, 255, 255, .2)), color-stop(.75, transparent), to(transparent));
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -webkit-linear-gradient(@angle, rgba(255, 255, 255, .2) 25%, transparent 25%, transparent 50%, rgba(255, 255, 255, .2) 50%, rgba(255, 255, 255, .2) 75%, transparent 75%, transparent);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -moz-linear-gradient(@angle, rgba(255, 255, 255, .2) 25%, transparent 25%, transparent 50%, rgba(255, 255, 255, .2) 50%, rgba(255, 255, 255, .2) 75%, transparent 75%, transparent);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -ms-linear-gradient(@angle, rgba(255, 255, 255, .2) 25%, transparent 25%, transparent 50%, rgba(255, 255, 255, .2) 50%, rgba(255, 255, 255, .2) 75%, transparent 75%, transparent);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: -o-linear-gradient(@angle, rgba(255, 255, 255, .2) 25%, transparent 25%, transparent 50%, rgba(255, 255, 255, .2) 50%, rgba(255, 255, 255, .2) 75%, transparent 75%, transparent);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    background-image: linear-gradient(@angle, rgba(255, 255, 255, .2) 25%, transparent 25%, transparent 50%, rgba(255, 255, 255, .2) 50%, rgba(255, 255, 255, .2) 75%, transparent 75%, transparent);
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-09-03 03:19:43 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								// Reset filters for IE
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.reset-filter() {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  filter: e(%("progid:DXImageTransform.Microsoft.gradient(enabled = false)"));
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-06-28 07:47:12 +08:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								// Opacity
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.opacity(@opacity: 100) {
							 
						 
					
						
							
								
									
										
										
										
											2011-09-29 16:40:27 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  filter: e(%("alpha(opacity=%d)", @opacity));
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    -moz-opacity: @opacity / 100;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								         opacity: @opacity / 100;
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 15:58:36 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// Popover arrows
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								// For tipsies and popovers
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								#popoverArrow {
							 
						 
					
						
							
								
									
										
										
										
											2011-12-23 11:10:32 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  .top(@arrowWidth: 5px) {
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 15:58:36 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    bottom: 0;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    left: 50%;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    margin-left: -@arrowWidth;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-left: @arrowWidth solid transparent;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-right: @arrowWidth solid transparent;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-top: @arrowWidth solid @black;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  .left(@arrowWidth: 5px) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    top: 50%;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    right: 0;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    margin-top: -@arrowWidth;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-top: @arrowWidth solid transparent;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-bottom: @arrowWidth solid transparent;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-left: @arrowWidth solid @black;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
									
										
										
										
											2011-12-23 11:10:32 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  .bottom(@arrowWidth: 5px) {
							 
						 
					
						
							
								
									
										
										
										
											2011-11-17 15:58:36 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    top: 0;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    left: 50%;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    margin-left: -@arrowWidth;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-left: @arrowWidth solid transparent;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-right: @arrowWidth solid transparent;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-bottom: @arrowWidth solid @black;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  .right(@arrowWidth: 5px) {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    top: 50%;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    left: 0;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    margin-top: -@arrowWidth;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-top: @arrowWidth solid transparent;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-bottom: @arrowWidth solid transparent;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    border-right: @arrowWidth solid @black;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}
							 
						 
					
						
							
								
									
										
										
										
											2011-11-27 02:41:17 +08:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								.background-size(@width, @height){
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  -webkit-background-size: @width @height;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								     -moz-background-size: @width @height;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								       -o-background-size: @width @height;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          background-size: @width @height;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								}