[mod] rename "default" theme to "legacy"

This commit is contained in:
Adam Tauber 2016-09-22 23:51:07 +02:00
parent aaf5d506e5
commit bee7b497a3
68 changed files with 24 additions and 24 deletions

View file

@ -0,0 +1,27 @@
/*
* 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;
}
.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;
}