Ben Rohlfs f452029096 Merge "Distinguish two monospace fonts: code and mono"

2019-11-04 09:13:23 +00:00

..

admin

Merge "Introduce a border-radius css var and use it everywhere"

2019-11-01 21:32:52 +00:00

change

Merge "Distinguish two monospace fonts: code and mono"

2019-11-04 09:13:23 +00:00

change-list

Distinguish two monospace fonts: code and mono

2019-11-01 21:40:12 +00:00

core

Introduce a border-radius css var and use it everywhere

2019-10-29 14:51:47 +01:00

diff

Distinguish two monospace fonts: code and mono

2019-11-01 21:40:12 +00:00

documentation/gr-documentation-search

Remove _legacyUndefinedCheck from the documentation module

2019-10-26 13:44:19 +09:00

edit

Distinguish two monospace fonts: code and mono

2019-11-01 21:40:12 +00:00

plugins

Replace all css spacing by variables in theme files

2019-10-28 20:16:12 +09:00

settings

Distinguish two monospace fonts: code and mono

2019-11-01 21:40:12 +00:00

shared

Distinguish two monospace fonts: code and mono

2019-11-01 21:40:12 +00:00

test

Support register themes for all or light / dark specifically

2019-09-05 14:17:17 +02:00

custom-dark-theme_test.html

Support register themes for all or light / dark specifically

2019-09-05 14:17:17 +02:00

custom-light-theme_test.html

Support register themes for all or light / dark specifically

2019-09-05 14:17:17 +02:00

gr-app_test.html

Switch from Polymer 1 to Polymer 2

2019-10-15 13:52:17 +02:00

gr-app-element.html

Introduce -h1 -h2 -h3 css vars for font-size

2019-10-28 20:16:31 +09:00

gr-app-element.js

Fix _computePluginScreenName

2019-10-30 20:04:41 +00:00

gr-app.html

Remove legacy-data-mixin

2019-10-26 13:44:19 +09:00

gr-app.js

Clean up Polymer1 and Polymer2 separation

2019-10-18 09:27:35 +02:00