all.less 31 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087
  1. @import 'colors.less';
  2. @import 'z-index.less';
  3. @import 'border-radius.less';
  4. //
  5. // Variables
  6. // --------------------------------------------------
  7. @editor-header-logo-background: url(../../../public/img/ol-brand/overleaf-o-white.svg)
  8. center / contain no-repeat;
  9. @editor-header-logo-background-active: url(../../../public/img/ol-brand/overleaf-o-white.svg)
  10. center / contain no-repeat;
  11. @editor-loading-logo-padding-top: 115.44%;
  12. @editor-loading-logo-background-url: url(../../../public/img/ol-brand/overleaf-o-grey.svg);
  13. @editor-loading-logo-foreground-url: url(../../../public/img/ol-brand/overleaf-o.svg);
  14. @editor-search-count-color: @neutral-70;
  15. //== Scaffolding
  16. //
  17. // ## Settings for some of the most global styles.
  18. //** Background color for `<body>`.
  19. @body-bg: #fff;
  20. //** Global text color on `<body>`.
  21. @text-color: @content-secondary;
  22. //** Global textual link color.
  23. @link-color: @blue;
  24. @link-active-color: @green-darker;
  25. //** Link hover color set via `darken()` function.
  26. @link-hover-color: @blue-dark;
  27. @link-color-alt: @green-dark;
  28. @link-hover-color-alt: @green-darker;
  29. @hr-border-alt: @gray-lighter;
  30. //== Typography
  31. //
  32. //## Font, line-height, and color for body text, headings, and more.
  33. @font-family-sans-serif: 'Lato', sans-serif;
  34. @font-family-serif: 'Merriweather', serif;
  35. //** Default monospace fonts for `<code>`, `<kbd>`, and `<pre>`.
  36. @font-family-monospace: Menlo, Monaco, Consolas, 'Courier New', monospace;
  37. @font-family-base: @font-family-sans-serif;
  38. @font-size-base: 16px;
  39. @font-size-large: ceil((@font-size-base * 1.25)); // ~20px
  40. @font-size-small: ceil((@font-size-base * 0.85)); // ~14px
  41. @font-size-extra-small: ceil((@font-size-base * 0.7)); // ~12px
  42. @font-size-h1: floor((@font-size-base * 2)); // ~32px
  43. @font-size-h2: floor((@font-size-base * 1.6)); // ~25px
  44. @font-size-h3: ceil((@font-size-base * 1.25)); // ~20px
  45. @font-size-h4: ceil((@font-size-base * 1.1)); // ~18px
  46. @font-size-h5: @font-size-base;
  47. @font-size-h6: ceil((@font-size-base * 0.85)); // ~14px
  48. //** Unit-less `line-height` for use in components like buttons.
  49. @line-height-base: 1.5625; // 20/14
  50. //** Computed "line-height" (`font-size` * `line-height`) for use with `margin`, `padding`, etc.
  51. @line-height-computed: floor((@font-size-base * @line-height-base)); // ~25px
  52. //** By default, this inherits from the `<body>`.
  53. @headings-font-family: @font-family-serif;
  54. @headings-font-weight: 500;
  55. @headings-line-height: 1.35;
  56. @headings-color: @content-primary;
  57. //-- Iconography
  58. //
  59. //## Specify custom locations of the include Glyphicons icon font. Useful for those including Bootstrap via Bower.
  60. @icon-font-path: '../fonts/';
  61. @icon-font-name: 'glyphicons-halflings-regular';
  62. @icon-font-svg-id: 'glyphicons_halflingsregular';
  63. //== Components
  64. //
  65. //## Define common padding and border radius sizes and more. Values based on 14px text and 1.428 line-height (~20px to start).
  66. @margin-xs: 5px;
  67. @margin-sm: 10px;
  68. @margin-md: 20px;
  69. @margin-lg: 30px;
  70. @margin-xl: 40px;
  71. @margin-xxl: 50px;
  72. @padding-base-vertical: 5px;
  73. @padding-base-horizontal: 16px;
  74. @padding-large-vertical: 10px;
  75. @padding-large-horizontal: 16px;
  76. @padding-small-vertical: 5px;
  77. @padding-small-horizontal: 10px;
  78. @padding-xs-vertical: @border-size; // border size is removed in .button-size mixin
  79. @padding-xs-horizontal: 8px;
  80. @padding-xs: 5px;
  81. @padding-sm: 10px;
  82. @padding-md: 20px;
  83. @padding-lg: 30px;
  84. @padding-xl: 40px;
  85. @padding-xxl: 50px;
  86. @line-height-large: 1.33;
  87. @line-height-small: 1.5;
  88. @border-width-sm: 1px;
  89. @border-width-base: 3px; // only used by plans and cards
  90. @border-size: 1px;
  91. @border-color-base: @neutral-60;
  92. @border-color-disabled: @color-disabled;
  93. @spacing-00: 0px;
  94. @spacing-01: 2px;
  95. @spacing-02: 4px;
  96. @spacing-03: 6px;
  97. @spacing-04: 8px;
  98. @spacing-05: 12px;
  99. @spacing-06: 16px;
  100. @spacing-07: 20px;
  101. @spacing-08: 24px;
  102. @spacing-09: 32px;
  103. @spacing-10: 40px;
  104. @spacing-11: 48px;
  105. @spacing-12: 56px;
  106. @spacing-13: 64px;
  107. @spacing-14: 72px;
  108. @spacing-15: 80px;
  109. @spacing-16: 96px;
  110. @font-size-01: 0.75rem; // 12px
  111. @font-size-02: 0.875rem; // 14px
  112. @font-size-03: 1rem; // 16px
  113. @font-size-04: 1.125rem; // 18px
  114. @font-size-05: 1.25rem; // 20px
  115. @font-size-06: 1.5rem; // 24px
  116. @font-size-07: 1.875rem; // 30px
  117. @font-size-08: 2.25rem; // 36px
  118. @font-size-09: 3rem; // 48px
  119. @font-size-10: 3.25rem; // 52px
  120. @font-size-11: 3.75rem; // 60px
  121. @font-size-12: 4.5rem; // 72px
  122. @font-size-13: 6rem; // 96px
  123. @font-size-body-base: @font-size-03;
  124. @line-height-01: 1rem; // 16px
  125. @line-height-02: 1.25rem; // 20px
  126. @line-height-03: 1.5rem; // 24px
  127. @line-height-04: 1.75rem; // 28px
  128. @line-height-05: 2rem; // 32px
  129. @line-height-06: 2.5rem; // 40px
  130. @line-height-07: 3rem; // 48px
  131. @line-height-08: 4rem; // 64px
  132. @line-height-09: 4.25rem; // 68px
  133. @line-height-10: 5rem; // 80px
  134. @line-height-11: 6rem; // 96px
  135. @line-height-12: 8rem; // 128px
  136. //** Horizontal line color.
  137. @hr-border: @neutral-20;
  138. @btn-switch-color: @neutral-70;
  139. @btn-switch-hover-color: darken(@neutral-70, 8%);
  140. //** Global color for active items (e.g., navs or dropdowns).
  141. @component-active-color: #fff;
  142. //** Global background color for active items (e.g., navs or dropdowns).
  143. @component-active-bg: @brand-primary;
  144. //** Width of the `border` for generating carets that indicator dropdowns.
  145. @caret-width-base: 4px;
  146. //** Carets increase slightly in size for larger components.
  147. @caret-width-large: 5px;
  148. //== Tables
  149. //
  150. //## Customizes the `.table` component with basic values, each used across all table variations.
  151. //** Padding for `<th>`s and `<td>`s.
  152. @table-cell-padding: 8px;
  153. //** Padding for cells in `.table-condensed`.
  154. @table-condensed-cell-padding: 5px;
  155. //** Default background color used for all tables.
  156. @table-bg: transparent;
  157. //** Background color used for `.table-striped`.
  158. @table-bg-accent: #f9f9f9;
  159. //** Background color used for `.table-hover`.
  160. @table-bg-hover: #f5f5f5;
  161. @table-bg-active: @table-bg-hover;
  162. //** Border color for table and cell borders.
  163. @table-border-color: @neutral-20;
  164. //== Buttons
  165. //
  166. //## For each of Bootstrap's buttons, define text, background and border color.
  167. @btn-font-weight: 700;
  168. @btn-default-color: #fff;
  169. @btn-default-bg: @neutral-70;
  170. @btn-default-border: transparent;
  171. @btn-primary-color: #fff;
  172. @btn-primary-bg: @green;
  173. @btn-primary-border: transparent;
  174. @btn-info-color: #fff;
  175. @btn-info-bg: @blue;
  176. @btn-info-border: transparent;
  177. @btn-info-ghost-color: @blue-50;
  178. @btn-info-ghost-bg: transparent;
  179. @btn-info-ghost-border: transparent;
  180. @btn-warning-color: #fff;
  181. @btn-warning-bg: @orange;
  182. @btn-warning-border: transparent;
  183. @btn-danger-color: #fff;
  184. @btn-danger-bg: @red;
  185. @btn-danger-border: transparent;
  186. @btn-danger-ghost-color: @red-50;
  187. @btn-danger-ghost-bg: transparent;
  188. @btn-danger-ghost-border: transparent;
  189. @btn-link-disabled-color: @gray-light;
  190. //== Forms
  191. //
  192. //##
  193. //** `<input>` background color
  194. @input-bg: #fff;
  195. //** `<input disabled>` background color
  196. @input-bg-disabled: @color-disabled;
  197. //** Text color for `<input>`s
  198. @input-color: @neutral-90;
  199. //** `<input>` border color
  200. @input-border: @border-color-base;
  201. //** `<input>` border radius
  202. @input-border-radius: 4px;
  203. //** Border color for inputs on focus
  204. @input-border-focus: @blue-50;
  205. //** Bordersize for inputs
  206. @input-border-size: @border-size;
  207. @input-padding: @padding-sm;
  208. //** Placeholder text color
  209. @input-color-placeholder: @neutral-60;
  210. //** Default `.form-control` height
  211. @input-height-base: @line-height-computed + (@padding-base-vertical * 2); // Make inputs at least the height of their button counterpart. buttons and inputs have same border height
  212. //** Large `.form-control` height
  213. @input-height-large: (
  214. ceil(@font-size-large * @line-height-large) + (@padding-large-vertical * 2) +
  215. 2
  216. );
  217. //** Small `.form-control` height
  218. @input-height-small: (
  219. floor(@font-size-small * @line-height-small) + (@padding-small-vertical * 2) +
  220. 2
  221. );
  222. @legend-color: @gray-dark;
  223. @legend-border-color: #e5e5e5;
  224. //** Background color for textual input addons
  225. @input-group-addon-bg: @gray-lighter;
  226. //** Border color for textual input addons
  227. @input-group-addon-border-color: @input-border;
  228. //== Dropdowns
  229. //
  230. //## Dropdown menu container and contents.
  231. //** Background for the dropdown menu.
  232. @dropdown-bg: #fff;
  233. //** Dropdown menu `border-color`.
  234. @dropdown-border: rgba(0, 0, 0, 0.15);
  235. //** Dropdown menu `border-color` **for IE8**.
  236. @dropdown-fallback-border: #ccc;
  237. //** Divider color for between dropdown items.
  238. @dropdown-divider-bg: #e5e5e5;
  239. //** Dropdown link text color.
  240. @dropdown-link-color: @gray-dark;
  241. //** Hover color for dropdown links.
  242. @dropdown-link-hover-color: #fff;
  243. //** Hover background for dropdown links.
  244. @dropdown-link-hover-bg: @brand-primary;
  245. //** Active dropdown menu item text color.
  246. @dropdown-link-active-color: @component-active-color;
  247. //** Active dropdown menu item background color.
  248. @dropdown-link-active-bg: @component-active-bg;
  249. //** Disabled dropdown menu item background color.
  250. @dropdown-link-disabled-color: @gray-light;
  251. //** Text color for headers within dropdown menus.
  252. @dropdown-header-color: @gray-light;
  253. // Note: Deprecated @dropdown-caret-color as of v3.1.0
  254. @dropdown-caret-color: #000;
  255. //== List group
  256. //
  257. //##
  258. //** Background color on `.list-group-item`
  259. @list-group-bg: #fff;
  260. //** `.list-group-item` border color
  261. @list-group-border: #ddd;
  262. //** List group border radius
  263. @list-group-border-radius: @border-radius-base;
  264. //** Background color of single list elements on hover
  265. @list-group-hover-bg: @component-active-bg;
  266. //** Text color of single list elements on hover
  267. @list-group-hover-color: @component-active-color;
  268. //** Text color of active list elements
  269. @list-group-active-color: @component-active-color;
  270. //** Background color of active list elements
  271. @list-group-active-bg: @component-active-bg;
  272. //** Border color of active list elements
  273. @list-group-active-border: @list-group-active-bg;
  274. @list-group-active-text-color: lighten(@list-group-active-bg, 40%);
  275. @list-group-link-color: #555;
  276. @list-group-link-heading-color: #333;
  277. //-- Z-index master list
  278. //
  279. // Warning: Avoid customizing these values. They're used for a bird's eye view
  280. // of components dependent on the z-axis and are designed to all work together.
  281. //
  282. // Note: These variables are not generated into the Customizer.
  283. @zindex-navbar: 1000;
  284. @zindex-dropdown: 1000;
  285. @zindex-navbar-fixed: 1030;
  286. @zindex-modal-background: 1040;
  287. @zindex-modal: 1050;
  288. @zindex-popover: 1060;
  289. @zindex-tooltip: 1070;
  290. //== Media queries breakpoints
  291. //
  292. //## Define the breakpoints at which your layout will change, adapting to different screen sizes.
  293. // Extra small screen / phone
  294. // Note: Deprecated @screen-xs and @screen-phone as of v3.0.1
  295. @screen-xs: 480px;
  296. @screen-xs-min: @screen-xs;
  297. @screen-phone: @screen-xs-min;
  298. // Small screen / tablet
  299. // Note: Deprecated @screen-sm and @screen-tablet as of v3.0.1
  300. @screen-sm: 768px;
  301. @screen-sm-min: @screen-sm;
  302. @screen-tablet: @screen-sm-min;
  303. // Medium screen / small desktop
  304. // Note: Deprecated @screen-md and @screen-desktop as of v3.0.1
  305. @screen-md: 992px;
  306. @screen-md-min: @screen-md;
  307. @screen-desktop: @screen-md-min;
  308. // Large screen / desktop
  309. // Note: Deprecated @screen-lg and @screen-lg-desktop as of v3.0.1
  310. @screen-lg: 1200px;
  311. @screen-lg-min: @screen-lg;
  312. @screen-lg-desktop: @screen-lg-min;
  313. // Extra large screen / wide desktop
  314. @screen-xl: 1400px;
  315. @screen-xl-min: @screen-xl;
  316. @screen-xl-desktop: @screen-xl-min;
  317. // So media queries don't overlap when required, provide a maximum
  318. @screen-xs-max: (@screen-sm-min - 1);
  319. @screen-sm-max: (@screen-md-min - 1);
  320. @screen-md-max: (@screen-lg-min - 1);
  321. @screen-lg-max: (@screen-xl-min - 1);
  322. //== Grid system
  323. //
  324. //## Define your custom responsive grid.
  325. //** Number of columns in the grid.
  326. @grid-columns: 12;
  327. //** Padding between columns. Gets divided in half for the left and right.
  328. @grid-gutter-width: 30px;
  329. @grid-gutter-width-new: 32px; // for website-redesign because the usage of 16px padding
  330. // Navbar collapse
  331. //** Point at which the navbar becomes uncollapsed.
  332. @grid-float-breakpoint: @screen-md-min;
  333. //** Point at which the navbar begins collapsing.
  334. @grid-float-breakpoint-max: (@grid-float-breakpoint - 1);
  335. //== Container sizes
  336. //
  337. //## Define the maximum width of `.container` for different screen sizes.
  338. // Small screen / tablet
  339. @container-tablet: ((720px + @grid-gutter-width));
  340. //** For `@screen-sm-min` and up.
  341. @container-sm: @container-tablet;
  342. // Medium screen / small desktop
  343. @container-desktop: ((940px + @grid-gutter-width));
  344. //** For `@screen-md-min` and up.
  345. @container-md: @container-desktop;
  346. // Large screen / desktop
  347. @container-large-desktop: ((1140px + @grid-gutter-width));
  348. //** For `@screen-lg-min` and up.
  349. @container-lg: @container-large-desktop;
  350. // Extra large screen / wide desktop
  351. @container-wide-desktop: ((1248px + @grid-gutter-width-new)); // 1280px
  352. //** For `@screen-xl-min` and up.
  353. @container-xl: @container-wide-desktop;
  354. //== Navbar
  355. //
  356. //##
  357. // Basics of a navbar
  358. @navbar-height: 60px;
  359. @navbar-margin-bottom: 0;
  360. @navbar-border-radius: 0;
  361. @navbar-padding-horizontal: floor((@grid-gutter-width / 2));
  362. @navbar-padding-vertical: ((@navbar-height - @line-height-computed) / 2);
  363. @navbar-default-color: #fff;
  364. @navbar-default-color-website-redesign: @neutral-90;
  365. @navbar-default-bg: @neutral-90;
  366. @navbar-default-bg-website-redesign: @white;
  367. @navbar-default-border: transparent;
  368. // Navbar links
  369. @navbar-default-link-color: #fff;
  370. @navbar-default-link-color-website-redesign: @neutral-90;
  371. @navbar-default-link-border-color: @navbar-default-link-color;
  372. @navbar-default-link-hover-color: @green;
  373. @navbar-default-link-hover-bg: @green;
  374. @navbar-default-link-hover-bg-website-redesign: @neutral-90;
  375. @navbar-default-link-active-color: #fff;
  376. @navbar-default-link-active-color-website-redesign: @neutral-90;
  377. @navbar-default-link-active-bg: @green;
  378. @navbar-default-link-active-bg-website-redesign: @neutral-90;
  379. @navbar-default-link-disabled-color: #ccc;
  380. @navbar-default-link-disabled-color-website-redesign: @neutral-80;
  381. @navbar-default-link-disabled-bg: transparent;
  382. // Navbar brand label
  383. @navbar-default-brand-color: @navbar-default-link-color;
  384. @navbar-default-brand-hover-color: darken(@navbar-default-brand-color, 10%);
  385. @navbar-default-brand-hover-bg: transparent;
  386. // Navbar toggle
  387. @navbar-default-toggle-hover-bg: @link-hover-color;
  388. @navbar-default-toggle-hover-bg-website-redesign: @neutral-90;
  389. @navbar-default-toggle-border-color: @link-color;
  390. @navbar-default-toggle-border-color-website-redesign: @neutral-90;
  391. //== Navs
  392. //
  393. //##
  394. //=== Shared nav styles
  395. @nav-link-padding: 10px 15px;
  396. @nav-link-hover-bg: @link-color;
  397. @nav-disabled-link-color: @gray-light;
  398. @nav-disabled-link-hover-color: @gray-light;
  399. @nav-open-link-hover-color: #fff;
  400. //== Tabs
  401. @nav-tabs-border-color: #ddd;
  402. @nav-tabs-link-hover-border-color: @link-color;
  403. @nav-tabs-active-link-hover-bg: @body-bg;
  404. @nav-tabs-active-link-hover-color: @gray;
  405. @nav-tabs-active-link-hover-border-color: #ddd;
  406. @nav-tabs-justified-link-border-color: #ddd;
  407. @nav-tabs-justified-active-link-border-color: @body-bg;
  408. //== Pills
  409. @nav-pills-link-color: @btn-default-bg;
  410. @nav-pills-link-hover-color: @nav-link-hover-bg;
  411. @nav-pills-link-hover-bg: darken(@neutral-70, 8%); // match button-variant mixin
  412. @nav-pills-border-radius: @border-radius-base;
  413. @nav-pills-active-link-hover-bg: @green-darker;
  414. @nav-pills-active-link-hover-color: @component-active-color;
  415. //== Pagination
  416. //
  417. //##
  418. @pagination-color: @green-darker;
  419. @pagination-bg: #fff;
  420. @pagination-border: @gray-lighter;
  421. @pagination-hover-color: @green-darker;
  422. @pagination-hover-bg: @gray-lightest;
  423. @pagination-hover-border: @gray-lighter;
  424. @pagination-active-color: #fff;
  425. @pagination-active-bg: @green-darker;
  426. @pagination-active-border: @gray-lighter;
  427. @pagination-disabled-color: @gray-dark;
  428. @pagination-disabled-bg: @gray-lightest;
  429. @pagination-disabled-border: @gray-lighter;
  430. // Plans
  431. @table-hover-bg: @neutral-10;
  432. @plans-non-highlighted: white;
  433. //== Form states and alerts
  434. //
  435. //## Define colors for form feedback states and, by default, alerts.
  436. @state-success-text: @brand-success;
  437. @state-success-bg: lighten(@brand-success, 50%);
  438. @state-success-border: @brand-success;
  439. @state-info-text: @content-secondary;
  440. @state-info-bg: lighten(@brand-info, 47%);
  441. @state-info-border: @content-secondary;
  442. @state-warning-text: @brand-warning;
  443. @state-warning-bg: lighten(@brand-warning, 45%);
  444. @state-warning-border: @brand-warning;
  445. @state-danger-text: @brand-danger;
  446. @state-danger-bg: lighten(@brand-danger, 50%);
  447. @state-danger-border: @brand-danger;
  448. //== Tooltips
  449. //
  450. //##
  451. //** Tooltip max width
  452. @tooltip-max-width: 220px;
  453. //** Tooltip text color
  454. @tooltip-color: #fff;
  455. //** Tooltip background color
  456. @tooltip-bg: #000;
  457. @tooltip-opacity: 0.9;
  458. //** Tooltip arrow width
  459. @tooltip-arrow-width: 5px;
  460. //** Tooltip arrow color
  461. @tooltip-arrow-color: @tooltip-bg;
  462. //== Popovers
  463. //
  464. //##
  465. //** Popover body background color
  466. @popover-bg: #fff;
  467. //** Popover maximum width
  468. @popover-max-width: 276px;
  469. //** Popover border color
  470. @popover-border-color: rgba(0, 0, 0, 0.2);
  471. //** Popover fallback border color
  472. @popover-fallback-border-color: #ccc;
  473. //** Popover title background color
  474. @popover-title-bg: darken(@popover-bg, 3%);
  475. //** Popover arrow width
  476. @popover-arrow-width: 10px;
  477. //** Popover arrow color
  478. @popover-arrow-color: #fff;
  479. //** Popover outer arrow width
  480. @popover-arrow-outer-width: (@popover-arrow-width + 1);
  481. //** Popover outer arrow color
  482. @popover-arrow-outer-color: fadein(@popover-border-color, 5%);
  483. //** Popover outer arrow fallback color
  484. @popover-arrow-outer-fallback-color: darken(
  485. @popover-fallback-border-color,
  486. 20%
  487. );
  488. //== Popovers dark theme
  489. //
  490. //##
  491. //** Popover body background color
  492. @popover-dark-bg: #000;
  493. //** Popover font color
  494. @popover-dark-color: #fff;
  495. //** Popover maximum width
  496. @popover-dark-max-width: 512px;
  497. //** Popover border color
  498. @popover-dark-border-color: #000;
  499. //** Popover title background color
  500. @popover-dark-title-bg: #000;
  501. //** Popover arrow color
  502. @popover-dark-arrow-color: #000;
  503. //** Popover outer arrow color
  504. @popover-dark-arrow-outer-color: fadein(@popover-dark-border-color, 5%);
  505. //== Labels
  506. //
  507. //##
  508. //** Default label background color
  509. @label-default-bg: @gray-light;
  510. //** Primary label background color
  511. @label-primary-bg: @brand-primary;
  512. //** Success label background color
  513. @label-success-bg: @brand-success;
  514. //** Info label background color
  515. @label-info-bg: @brand-info;
  516. //** Warning label background color
  517. @label-warning-bg: @brand-warning;
  518. //** Danger label background color
  519. @label-danger-bg: @brand-danger;
  520. //** Default label text color
  521. @label-color: #fff;
  522. //** Default text color of a linked label
  523. @label-link-hover-color: #fff;
  524. //== Modals
  525. //
  526. //##
  527. //** Padding applied to the modal body
  528. @modal-inner-padding: 20px;
  529. //** Padding applied to the modal title
  530. @modal-title-padding: 15px;
  531. //** Modal title line-height
  532. @modal-title-line-height: @line-height-base;
  533. //** Background color of modal content area
  534. @modal-content-bg: #fff;
  535. //** Modal content border color
  536. @modal-content-border-color: rgba(0, 0, 0, 0.2);
  537. //** Modal content border color **for IE8**
  538. @modal-content-fallback-border-color: #999;
  539. //** Modal backdrop background color
  540. @modal-backdrop-bg: #000;
  541. //** Modal backdrop opacity
  542. @modal-backdrop-opacity: 0.5;
  543. //** Modal header border color
  544. @modal-header-border-color: #e5e5e5;
  545. //** Modal footer border color
  546. @modal-footer-border-color: @modal-header-border-color;
  547. @modal-footer-background-color: @gray-lightest;
  548. @modal-lg: 900px;
  549. @modal-md: 600px;
  550. @modal-sm: 300px;
  551. //== Alerts
  552. //
  553. //## Define alert colors, border radius, and padding.
  554. @alert-padding: 15px;
  555. @alert-border-radius: @border-radius-base;
  556. @alert-link-font-weight: bold;
  557. @alert-success-bg: @brand-success;
  558. @alert-success-text: #fff;
  559. @alert-success-border: transparent;
  560. @alert-info-bg: @brand-info;
  561. @alert-info-text: #fff;
  562. @alert-info-border: transparent;
  563. @alert-info-alt-bg: @v2-dash-pane-bg;
  564. @alert-info-alt-text: @v2-dash-pane-subdued-color;
  565. @alert-info-alt-border: transparent;
  566. @alert-warning-bg: @brand-warning;
  567. @alert-warning-text: #fff;
  568. @alert-warning-border: transparent;
  569. @alert-danger-bg: @brand-danger;
  570. @alert-danger-text: #fff;
  571. @alert-danger-border: transparent;
  572. @alert-alt-bg: @neutral-20;
  573. @alert-alt-text: @content-secondary;
  574. @alert-alt-border: transparent;
  575. //== Progress bars
  576. //
  577. //##
  578. //** Background color of the whole progress component
  579. @progress-bg: white;
  580. @progress-border-color: @gray-lighter;
  581. //** Progress bar text color
  582. @progress-bar-color: #fff;
  583. //** Default progress bar color
  584. @progress-bar-bg: @neutral-70;
  585. //** Success progress bar color
  586. @progress-bar-success-bg: @green;
  587. //** Warning progress bar color
  588. @progress-bar-warning-bg: @brand-warning;
  589. //** Danger progress bar color
  590. @progress-bar-danger-bg: @red;
  591. //** Info progress bar color
  592. @progress-bar-info-bg: @blue;
  593. //== Thumbnails
  594. //
  595. //##
  596. //** Padding around the thumbnail image
  597. @thumbnail-padding: 4px;
  598. //** Thumbnail background color
  599. @thumbnail-bg: @body-bg;
  600. //** Thumbnail border color
  601. @thumbnail-border: #ddd;
  602. //** Thumbnail border radius
  603. @thumbnail-border-radius: @border-radius-base;
  604. //** Custom text color for thumbnail captions
  605. @thumbnail-caption-color: @text-color;
  606. //** Padding around the thumbnail caption
  607. @thumbnail-caption-padding: 9px;
  608. //== Close
  609. //
  610. //##
  611. @close-font-weight: bold;
  612. @close-color: #000;
  613. @close-text-shadow: 0 1px 0 #fff;
  614. //== Type
  615. //
  616. //##
  617. //** Text muted color
  618. @text-muted: @gray-light;
  619. //** Abbreviations and acronyms border color
  620. @abbr-border-color: @gray-light;
  621. //** Headings small color
  622. @headings-small-color: @gray-light;
  623. //** Blockquote small color
  624. @blockquote-small-color: @neutral-60;
  625. //** Blockquote font size
  626. @blockquote-font-size: (@font-size-base * 1.125);
  627. //** Blockquote border color
  628. @blockquote-border-color: @gray-lighter;
  629. //** Page header border color
  630. @page-header-border-color: @hr-border;
  631. //== Miscellaneous
  632. @editor-search-count-color: @neutral-70;
  633. //##
  634. //** Horizontal offset for forms and lists.
  635. @component-offset-horizontal: 180px;
  636. @content-margin-vertical: @line-height-computed;
  637. @left-menu-width: 340px;
  638. @left-menu-animation-duration: 0.35s;
  639. @toolbar-border-color: @neutral-80;
  640. @toolbar-header-btn-border-color: @toolbar-border-color;
  641. @toolbar-btn-height: 26px;
  642. @common-border-color: @gray-lighter;
  643. @editor-border-color: @neutral-80;
  644. @editor-dark-background-color: #333;
  645. @editor-dark-toolbar-border-color: #222;
  646. @editor-dark-highlight-color: #ffa03a;
  647. // Custom
  648. @header-height: 68px;
  649. @footer-height: 50px;
  650. // Backgrounds
  651. @content-alt-bg-color: @neutral-10;
  652. // Typography
  653. @text-small-color: @content-secondary;
  654. // Navbar
  655. @navbar-title-color: @neutral-20;
  656. @navbar-title-color-hover: @neutral-40;
  657. @navbar-default-padding-v: (@grid-gutter-width / 2);
  658. @navbar-default-padding-h: 10px;
  659. @navbar-default-padding: @navbar-default-padding-v @navbar-default-padding-h;
  660. @navbar-brand-width: 130px;
  661. @navbar-btn-font-size: @font-size-base;
  662. @navbar-btn-border-radius: @btn-border-radius-base;
  663. @navbar-btn-font-weight: 400;
  664. @navbar-btn-padding: (@padding-base-vertical - 1) @padding-base-horizontal
  665. @padding-base-vertical;
  666. @navbar-btn-line-height: @line-height-base;
  667. @navbar-subdued-padding: (@padding-base-vertical + 1)
  668. (@padding-base-horizontal + 1) (@padding-base-vertical + 2);
  669. @navbar-subdued-color: #fff;
  670. @navbar-subdued-color-website-redesign: @neutral-90;
  671. @navbar-subdued-hover-bg: #fff;
  672. @navbar-subdued-hover-bg-website-redesign: @neutral-90;
  673. @navbar-subdued-hover-color: @green;
  674. @navbar-subdued-hover-color-website-redesign: #fff;
  675. @navbar-brand-image-url: url(../../../public/img/ol-brand/overleaf-white.svg);
  676. @navbar-brand-image-url-website-redesign: url(../../../public/img/ol-brand/overleaf-black.svg);
  677. @dropdown-divider-margin: 6px;
  678. @dropdown-item-padding: 4px 20px;
  679. @navbar-default-link-bg: transparent;
  680. // Button colors and sizing
  681. @btn-border-radius-large: 9999px;
  682. @btn-border-radius-base: 9999px;
  683. @btn-border-radius-small: 9999px;
  684. @btn-border-width: 0;
  685. @btn-border-bottom-width: 0;
  686. @btn-primary-hover-bg-color: @green-dark;
  687. @btn-secondary-hover-bg-color: @neutral-20;
  688. // Shadows
  689. @box-shadow:
  690. 0px 4px 12px rgba(30, 37, 48, 0.12),
  691. 0px 2px 4px rgba(30, 37, 48, 0.08);
  692. // Cards
  693. @card-border-radius: @border-radius-base-new;
  694. @card-gray-bg-color: @neutral-10; // only some variations of cards
  695. @card-box-shadow: @box-shadow; // only some variations of cards
  696. // Project table
  697. @structured-list-link-color: @blue;
  698. @structured-header-border-color: shade(@neutral-20, 5%);
  699. @structured-list-border-color: @neutral-20;
  700. @structured-list-hover-color: lighten(@neutral-20, 5%);
  701. @structured-list-line-height: 2.5;
  702. // Sidebar
  703. @sidebar-bg: @neutral-80;
  704. @sidebar-color: @neutral-40;
  705. @sidebar-link-color: #fff;
  706. @sidebar-active-border-radius: 0;
  707. @sidebar-active-bg: @neutral-90;
  708. @sidebar-active-color: #fff;
  709. @sidebar-active-font-weight: 700;
  710. @sidebar-hover-bg: @neutral-70;
  711. @sidebar-hover-text-decoration: none;
  712. @v2-dash-pane-bg: @neutral-70;
  713. @v2-dash-pane-link-color: #fff;
  714. @v2-dash-pane-color: #fff;
  715. @v2-dash-pane-subdued-color: @neutral-20;
  716. @v2-dash-pane-toggle-color: #fff;
  717. @v2-dash-pane-btn-bg: @neutral-80;
  718. @v2-dash-pane-btn-hover-bg: @neutral-90;
  719. @folders-menu-margin: 0 - (@grid-gutter-width / 2);
  720. @folders-menu-line-height: @structured-list-line-height;
  721. @folders-menu-item-v-padding: (@line-height-computed / 4);
  722. @folders-menu-item-h-padding: (@grid-gutter-width / 2);
  723. @folders-title-padding: @folders-menu-item-v-padding 0;
  724. @folders-title-margin-top: 0;
  725. @folders-title-margin-bottom: 0;
  726. @folders-title-font-size: @font-size-small;
  727. @folders-title-font-weight: normal;
  728. @folders-title-line-height: @headings-line-height;
  729. @folders-title-color: @neutral-40;
  730. @folders-title-text-transform: uppercase;
  731. @folders-tag-padding: @folders-menu-item-v-padding 30px
  732. @folders-menu-item-v-padding @folders-menu-item-h-padding;
  733. @folders-tag-line-height: 1.4;
  734. @folders-tag-display: flex;
  735. @folders-tag-menu-color: #fff;
  736. @folders-tag-hover: @sidebar-hover-bg;
  737. @folders-tag-border-color: @folders-tag-menu-color;
  738. @folders-tag-menu-active-hover: rgba(0, 0, 0, 0.1);
  739. @folders-tag-menu-hover: rgba(0, 0, 0, 0.1);
  740. @info-badge-bg: @blue;
  741. // Progress bars
  742. @progress-border-radius: @line-height-computed;
  743. @progress-border-width: 0;
  744. @progress-bar-shadow: none;
  745. // Footer
  746. @footer-link-color: @link-color-alt;
  747. @footer-link-hover-color: @link-hover-color-alt;
  748. @footer-bg-color: #fff;
  749. @footer-padding: 2em 0;
  750. @fat-footer-social-font-size: 30px;
  751. // Editor header
  752. @ide-body-top-offset: 40px;
  753. @toolbar-header-bg-color: @neutral-90;
  754. @toolbar-header-shadow: none;
  755. @toolbar-header-branded-btn-bg-color: transparent;
  756. @toolbar-btn-color: #fff;
  757. @toolbar-btn-hover-color: #fff;
  758. @toolbar-btn-hover-bg-color: @neutral-80;
  759. @toolbar-btn-hover-text-shadow: none;
  760. @toolbar-btn-active-color: #fff;
  761. @toolbar-btn-active-bg-color: @green;
  762. @toolbar-btn-active-shadow: none;
  763. @toolbar-font-size: 13px;
  764. @toolbar-alt-bg-color: @neutral-80;
  765. @toolbar-icon-btn-color: #fff;
  766. @toolbar-icon-btn-hover-color: #fff;
  767. @toolbar-icon-btn-hover-shadow: none;
  768. @toolbar-icon-btn-hover-boxshadow: none;
  769. @toolbar-border-bottom: 1px solid @toolbar-border-color;
  770. @toolbar-small-height: 32px;
  771. @toolbar-tall-height: 58px;
  772. @project-name-color: @neutral-40;
  773. @project-rename-link-color: @neutral-40;
  774. @project-rename-link-color-hover: @neutral-20;
  775. @global-alerts-padding: 7px;
  776. // Editor file-tree
  777. @file-tree-bg: @neutral-70;
  778. @file-tree-line-height: 2.05;
  779. @file-tree-item-color: #fff;
  780. @file-tree-item-focus-color: @file-tree-item-color;
  781. @file-tree-item-selected-color: @file-tree-item-color;
  782. @file-tree-item-toggle-color: @neutral-40;
  783. @file-tree-item-icon-color: @neutral-40;
  784. @file-tree-item-input-color: @input-color;
  785. @file-tree-item-folder-color: @neutral-40;
  786. @file-tree-item-hover-bg: @neutral-80;
  787. @file-tree-item-selected-bg: @green;
  788. @file-tree-multiselect-bg: @blue;
  789. @file-tree-multiselect-hover-bg: @blue-dark;
  790. @file-tree-droppable-bg-color: @neutral-40;
  791. @file-tree-error-color: @neutral-20;
  792. @file-tree-toolbar-btn-hover-color: rgba(125, 125, 125, 0.2);
  793. // File outline
  794. @outline-v-rhythm: 24px;
  795. @outline-h-rhythm: 24px;
  796. @outline-item-h-padding: @outline-h-rhythm * 0.25;
  797. @outline-line-guide-color: @neutral-60;
  798. @outline-expand-collapse-color: @neutral-40;
  799. @outline-no-items-color: @file-tree-item-color;
  800. @outline-header-hover-bg: @neutral-90;
  801. @outline-highlight-bg: tint(@file-tree-bg, 15%);
  802. @vertical-resizable-resizer-bg: @neutral-80;
  803. @vertical-resizable-resizer-hover-bg: @neutral-90;
  804. // Editor resizers
  805. @editor-resizer-bg-color: @neutral-80;
  806. @editor-resizer-bg-color-dragging: @neutral-80;
  807. @editor-toggler-bg-color: darken(@neutral-40, 15%);
  808. @editor-toggler-hover-bg-color: @green;
  809. @synctex-controls-z-index: 6;
  810. @synctex-controls-padding: 0;
  811. // Editor toolbar
  812. @editor-toolbar-height: 32px;
  813. @editor-toolbar-bg: @neutral-80;
  814. // Toggle switch
  815. @toggle-switch-bg: @neutral-20;
  816. @toggle-switch-highlight-color: @green;
  817. // Formatting buttons
  818. @formatting-btn-color: #fff;
  819. @formatting-btn-bg: @neutral-80;
  820. @formatting-btn-border: @neutral-70;
  821. @formatting-menu-bg: @neutral-80;
  822. // Chat
  823. @chat-bg: @neutral-80;
  824. @chat-instructions-color: @neutral-20;
  825. @chat-message-color: #fff;
  826. @chat-message-date-color: @neutral-40;
  827. @chat-message-name-color: #fff;
  828. @chat-message-box-shadow: none;
  829. @chat-message-border-radius: @border-radius-large;
  830. @chat-message-padding: 5px 10px;
  831. @chat-message-weight: bold;
  832. @chat-new-message-bg: @neutral-70;
  833. @chat-new-message-textarea-bg: @neutral-20;
  834. @chat-new-message-textarea-color: @neutral-90;
  835. @chat-new-message-border-color: @editor-border-color;
  836. // PDF and logs
  837. @pdf-top-offset: @toolbar-small-height;
  838. @pdf-bg: @neutral-10;
  839. @pdfjs-bg: transparent;
  840. @pdf-page-shadow-color: rgba(0, 0, 0, 0.5);
  841. @logs-pane-bg: @neutral-80;
  842. @log-line-no-color: #fff;
  843. @log-hints-color: @neutral-70;
  844. @pdf-toolbar-btn-hover-color: rgba(125, 125, 125, 0.2);
  845. // Tags
  846. @tag-border-radius: 9999px;
  847. @tag-color: @neutral-70;
  848. @tag-bg-color: @neutral-20;
  849. @tag-bg-hover-color: darken(@neutral-20, 5%);
  850. @tag-max-width: 150px;
  851. @tag-top-adjustment: 2px;
  852. @labels-font-size: 85%;
  853. // System messages
  854. @sys-msg-background: @blue;
  855. @sys-msg-color: #fff;
  856. @sys-msg-border: solid 1px lighten(@blue, 10%);
  857. // Portals
  858. @black-alpha-strong: rgba(0, 0, 0, 0.8);
  859. @btn-portal-width: 200px;
  860. // v2 History
  861. @history-base-font-size: @font-size-small;
  862. @history-base-bg: @neutral-20;
  863. @history-entry-label-bg-color: @blue;
  864. @history-entry-pseudo-label-bg-color: @green;
  865. @history-entry-label-color: #fff;
  866. @history-entry-selected-label-bg-color: #fff;
  867. @history-entry-selected-label-color: @blue;
  868. @history-entry-selected-pseudo-label-color: @green;
  869. @history-entry-day-bg: @neutral-20;
  870. @history-entry-day-color: @neutral-60;
  871. @history-entry-selected-bg: @green;
  872. @history-entry-handle-bg: darken(@green, 10%);
  873. @history-entry-handle-height: 8px;
  874. @history-base-color: @neutral-60;
  875. @history-highlight-color: @content-secondary;
  876. @history-toolbar-bg-color: @editor-toolbar-bg;
  877. @history-toolbar-color: #fff;
  878. @history-file-badge-bg: rgba(255, 255, 255, 0.25);
  879. @history-file-badge-color: @file-tree-item-color;
  880. // Input suggestions
  881. @input-suggestion-v-offset: 4px;
  882. // Symbol Palette
  883. @symbol-palette-bg: @neutral-70;
  884. @symbol-palette-color: #fff;
  885. @symbol-palette-header-background: @neutral-80;
  886. @symbol-palette-item-bg: @neutral-80;
  887. @symbol-palette-item-color: #fff;
  888. @symbol-palette-selected-tab-bg: @neutral-70;
  889. @symbol-palette-selected-tab-color: #fff;
  890. @symbol-palette-text-shadow-color: @neutral-90;
  891. // Editor fonts
  892. @editor-font-lucida: 'Lucida Console', 'Source Code Pro', monospace;
  893. @editor-font-monaco: Monaco, Menlo, 'Ubuntu Mono', 'Consolas', monospace;
  894. @mobile-action-element-width: 48px;
  895. @mobile-action-element-height: @mobile-action-element-width;
  896. // React History
  897. @history-react-header-bg: @neutral-80;
  898. @history-react-header-color: #fff;
  899. @history-react-separator-color: @neutral-80;
  900. @history-main-bg: #fff;
  901. // Gradients
  902. @premium-gradient: linear-gradient(
  903. 246deg,
  904. @blue-70 0%,
  905. #254c84 29%,
  906. @blue-40 97%
  907. );