Merge pull request #584 from return42/drop-css-vendor

[mod] simple-theme: remove vendor CSS
pull/612/head
Alexandre Flament 3 years ago committed by GitHub
commit f6b1264b5f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

@ -1,6 +1,4 @@
/*
* SearXNG, A privacy-respecting, hackable metasearch engine
*/
// SPDX-License-Identifier: AGPL-3.0-or-later
// Mixins
.text-size-adjust (@property: 100%) {
@ -25,44 +23,5 @@
// 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;
}

@ -194,9 +194,6 @@
#main_index,
#main_results {
#categories_container {
width: 1000px;
width: -moz-max-content;
width: -webkit-max-content;
width: max-content;
.category {

@ -99,7 +99,7 @@ tr {
font-size: 0.8em;
word-break: break-all;
margin: 0.1em;
.select-all-on-focus();
user-select: all;
}
div.selectable_url {
@ -218,8 +218,7 @@ div.selectable_url {
}
.tabs {
.flexbox();
display: flex;
flex-wrap: wrap;
width: 100%;
min-width: 100%;

Loading…
Cancel
Save