entrouvert
/
publik-base-theme
15
1
Fork 1
Code Issues Pull Requests 9 Releases Wiki Activity

scss: use site font in leaflet maps (#88117) #534

Merged
fpeters merged 1 commits from wip/88117-map-font-size into main 2024-03-15 07:29:27 +01:00
Conversation 0 Commits 1 Files Changed 2 +8 -1
fpeters commented 2024-03-14 07:57:32 +01:00
Owner
Copy Link
No description provided.
fpeters added 1 commit 2024-03-14 07:57:33 +01:00
gitea/publik-base-theme/pipeline/head This commit looks good Details
081fe9dec8 scss: use site font in leaflet maps (#88117)
fpeters reviewed 2024-03-14 07:58:47 +01:00
static/includes/_forms.scss
@ -866,7 +866,6 @@ div.select2-search {
&--result-list {
background-color: white;
font-size: 1.2em;
fpeters commented 2024-03-14 07:58:24 +01:00
Author
Owner
Copy Link

Les résultats de la recherche d'adresse étaient affichés en plus grand, pour compenser la petite taille forcée par leaflet; comme on est maintenant sur la taille de la police du site, ça n'est plus nécessaire.

Les résultats de la recherche d'adresse étaient affichés en plus grand, pour compenser la petite taille forcée par leaflet; comme on est maintenant sur la taille de la police du site, ça n'est plus nécessaire.
static/includes/_misc.scss
@ -768,0 +770,4 @@
}
.leaflet-control-attribution {
font-size: 80%;
fpeters commented 2024-03-14 07:58:43 +01:00
Author
Owner
Copy Link

On garde une taille un peu plus petite pour la ligne d'attribution.

On garde une taille un peu plus petite pour la ligne d'attribution.
smihai approved these changes 2024-03-14 11:21:56 +01:00
fpeters merged commit 081fe9dec8 into main 2024-03-15 07:29:27 +01:00
fpeters deleted branch wip/88117-map-font-size 2024-03-15 07:29:27 +01:00
Sign in to join this conversation.
Reviewers
No reviewers
smihai
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: entrouvert/publik-base-theme#534
No description provided.
Delete Branch "wip/88117-map-font-size"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?