overleaf/services/web/frontend/js/ide
Paulo Jorge Reis 414f7397fa Merge pull request #3073 from overleaf/pr-highlight-styling-and-beta
New highlight styling + highlight in beta

GitOrigin-RevId: e5d308bd725b4a1cfc4f0e564af05663ac4188dc
2020-08-10 15:55:37 +00:00
..
binary-files
chat
clone
cobranding
colors
connection
directives
editor Merge pull request #3073 from overleaf/pr-highlight-styling-and-beta 2020-08-10 15:55:37 +00:00
file-tree
files/services
graphics/services
history
hotkeys
human-readable-logs
metadata
online-users
outline Merge pull request #3073 from overleaf/pr-highlight-styling-and-beta 2020-08-10 15:55:37 +00:00
pdf
pdfng/directives
permissions
preamble/services
references
review-panel
services
settings
share
wordcount
SafariScrollPatcher.js