Merge pull request #3495 from overleaf/ae-prettier-2

Upgrade Prettier to v2

GitOrigin-RevId: 85aa3fa1acb6332c4f58c46165a43d1a51471f33
This commit is contained in:
Alf Eaton
2021-04-15 02:05:22 +00:00
committed by Copybot
parent 930d7ba028
commit 1ebc8a79cb
582 changed files with 20382 additions and 20374 deletions
@@ -13,6 +13,7 @@
.toolbar-alt-mixin;
padding-right: 5px;
&.changes-to-autocompile {
// prettier-ignore
#gradient > .striped(@color: rgba(255, 255, 255, 0.1), @angle: -45deg);
background-size: @stripe-width @stripe-width;
.animation(pdf-toolbar-stripes 2s linear infinite);
@@ -86,6 +87,7 @@
border-radius: 0 @btn-border-radius-base @btn-border-radius-base 0;
background-color: @btn-primary-bg;
&.btn-recompile-group-has-changes {
// prettier-ignore
#gradient > .striped(@color: rgba(255, 255, 255, 0.2), @angle: -45deg);
background-size: @stripe-width @stripe-width;
.animation(pdf-toolbar-stripes 2s linear infinite);
@@ -80,6 +80,7 @@
// Set gradients for backgrounds
&.left {
// prettier-ignore
#gradient >
.horizontal(
@start-color: rgba(0, 0, 0, 0.5) ; @end-color: rgba(0, 0, 0, 0.0001)
@@ -88,6 +89,7 @@
&.right {
left: auto;
right: 0;
// prettier-ignore
#gradient >
.horizontal(
@start-color: rgba(0, 0, 0, 0.0001) ; @end-color: rgba(0, 0, 0, 0.5)
@@ -123,7 +123,7 @@
background-color: @modal-footer-background-color;
border-radius: 0 0 @border-radius-large @border-radius-large;
&:extend(.clearfix
all); // clear it in case folks use .pull-* classes on buttons
all); // clear it in case folks use .pull-* classes on buttons
// Properly space out buttons
.btn + .btn {
@@ -30,6 +30,7 @@
// Mixin for generating new styles
.btn-styles(@btn-color: #555) {
// prettier-ignore
#gradient >
.vertical(@start-color: @btn-color; @end-color: darken(@btn-color, 12%));
.reset-filter(
@@ -97,6 +98,7 @@
.dropdown-menu > li > a:hover,
.dropdown-menu > li > a:focus {
// prettier-ignore
#gradient >
.vertical(
@start-color: @dropdown-link-hover-bg; @end-color:
@@ -107,6 +109,7 @@
.dropdown-menu > .active > a,
.dropdown-menu > .active > a:hover,
.dropdown-menu > .active > a:focus {
// prettier-ignore
#gradient >
.vertical(
@start-color: @dropdown-link-active-bg; @end-color:
@@ -121,6 +124,7 @@
// Default navbar
.navbar-default {
// prettier-ignore
#gradient >
.vertical(
@start-color: lighten(@navbar-default-bg, 10%) ; @end-color:
@@ -135,6 +139,7 @@
.box-shadow(@shadow);
.navbar-nav > .active > a {
// prettier-ignore
#gradient >
.vertical(
@start-color: darken(@navbar-default-bg, 5%) ; @end-color:
@@ -150,6 +155,7 @@
// Inverted navbar
.navbar-inverse {
// prettier-ignore
#gradient >
.vertical(
@start-color: lighten(@navbar-inverse-bg, 10%) ; @end-color:
@@ -160,6 +166,7 @@
); // Remove gradient in IE<10 to fix bug where dropdowns don't get triggered
.navbar-nav > .active > a {
// prettier-ignore
#gradient >
.vertical(
@start-color: @navbar-inverse-bg; @end-color:
@@ -195,6 +202,7 @@
// Mixin for generating new styles
.alert-styles(@color) {
// prettier-ignore
#gradient > .vertical(@start-color: @color; @end-color: darken(@color, 7.5%));
border-color: darken(@color, 15%);
}
@@ -219,12 +227,14 @@
// Give the progress background some depth
.progress {
// prettier-ignore
#gradient >
.vertical(@start-color: darken(@progress-bg, 4%) ; @end-color: @progress-bg);
}
// Mixin for generating new styles
.progress-bar-styles(@color) {
// prettier-ignore
#gradient > .vertical(@start-color: @color; @end-color: darken(@color, 10%));
}
@@ -257,6 +267,7 @@
.list-group-item.active:hover,
.list-group-item.active:focus {
text-shadow: 0 -1px 0 darken(@list-group-active-bg, 10%);
// prettier-ignore
#gradient >
.vertical(
@start-color: @list-group-active-bg; @end-color:
@@ -276,6 +287,7 @@
// Mixin for generating new styles
.panel-heading-styles(@color) {
// prettier-ignore
#gradient > .vertical(@start-color: @color; @end-color: darken(@color, 5%));
}
@@ -304,6 +316,7 @@
// --------------------------------------------------
.well {
// prettier-ignore
#gradient >
.vertical(@start-color: darken(@well-bg, 5%) ; @end-color: @well-bg);
border-color: darken(@well-bg, 10%);
@@ -282,7 +282,7 @@ dd {
dd {
margin-left: @component-offset-horizontal;
&:extend(.clearfix
all); // Clear the floated `dt` if an empty `dd` is present
all); // Clear the floated `dt` if an empty `dd` is present
}
}
}