| 
							
							/*
 | 
						
						
						
						
							 | 
							
							* searx, A privacy-respecting, hackable metasearch engine
 | 
						
						
						
						
							 | 
							
							*/
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							// Mixins
 | 
						
						
						
						
							 | 
							
							.text-size-adjust (@property: 100%) {
 | 
						
						
						
						
							 | 
							
								-webkit-text-size-adjust: @property;
 | 
						
						
						
						
							 | 
							
								-ms-text-size-adjust: @property;
 | 
						
						
						
						
							 | 
							
								-moz-text-size-adjust: @property;
 | 
						
						
						
						
							 | 
							
								text-size-adjust: @property;
 | 
						
						
						
						
							 | 
							
							}
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							.rounded-corners (@radius: 4px) {
 | 
						
						
						
						
							 | 
							
								-webkit-border-radius: @radius;
 | 
						
						
						
						
							 | 
							
								-moz-border-radius: @radius;
 | 
						
						
						
						
							 | 
							
								border-radius: @radius;
 | 
						
						
						
						
							 | 
							
							}
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							// disable user selection
 | 
						
						
						
						
							 | 
							
							.disable-user-select () {
 | 
						
						
						
						
							 | 
							
								-webkit-touch-callout: none;
 | 
						
						
						
						
							 | 
							
								-webkit-user-select: none;
 | 
						
						
						
						
							 | 
							
								-khtml-user-select: none;
 | 
						
						
						
						
							 | 
							
								-moz-user-select: none;
 | 
						
						
						
						
							 | 
							
								-ms-user-select: none;
 | 
						
						
						
						
							 | 
							
								user-select: none;
 | 
						
						
						
						
							 | 
							
							}
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							// select all on focus
 | 
						
						
						
						
							 | 
							
							.select-all-on-focus() {
 | 
						
						
						
						
							 | 
							
								-webkit-user-select: all;
 | 
						
						
						
						
							 | 
							
								-moz-user-select: all;
 | 
						
						
						
						
							 | 
							
								-ms-user-select: element;
 | 
						
						
						
						
							 | 
							
								user-select: all;
 | 
						
						
						
						
							 | 
							
							}
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							// see https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_Flexible_Box_Layout/Advanced_layouts_with_flexbox
 | 
						
						
						
						
							 | 
							
							.flexbox() {
 | 
						
						
						
						
							 | 
							
							  display: -webkit-box;
 | 
						
						
						
						
							 | 
							
							  display: -moz-box;
 | 
						
						
						
						
							 | 
							
							  display: -webkit-flex;
 | 
						
						
						
						
							 | 
							
							  display: -ms-flexbox;
 | 
						
						
						
						
							 | 
							
							  display: flex;
 | 
						
						
						
						
							 | 
							
							}
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							.inline-flex() {
 | 
						
						
						
						
							 | 
							
								display: -webkit-inline-box;
 | 
						
						
						
						
							 | 
							
								display: -moz-inline-box;
 | 
						
						
						
						
							 | 
							
								display: -webkit-inline-flex;
 | 
						
						
						
						
							 | 
							
								display: -ms-inline-flexbox;
 | 
						
						
						
						
							 | 
							
								display: inline-flex;
 | 
						
						
						
						
							 | 
							
							}
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							.flex-direction-row() {
 | 
						
						
						
						
							 | 
							
								-webkit-box-direction: normal;
 | 
						
						
						
						
							 | 
							
								-webkit-box-orient: horizontal;
 | 
						
						
						
						
							 | 
							
								-moz-box-direction: normal;
 | 
						
						
						
						
							 | 
							
								-moz-box-orient: horizontal;
 | 
						
						
						
						
							 | 
							
								-webkit-flex-direction: row;
 | 
						
						
						
						
							 | 
							
								-ms-flex-direction: row;
 | 
						
						
						
						
							 | 
							
								flex-direction: row;
 | 
						
						
						
						
							 | 
							
							}
 |