misc: adjust margin in wscall usage block (#87691) #1217

Merged

fpeters merged 1 commits from wip/87691-wscall-usage-margin into main 2024-03-04 10:43:20 +01:00

Conversation 0 Commits 1 Files Changed 2 +3 -6

fpeters commented 2024-03-03 10:31:10 +01:00

Owner

Copy Link

Style pour que le texte ait la même position (et la zone la même taille) dans les différentes situations 1/ recherche 2/ rien trouvé 3/ utilisation trouvée.

Style pour que le texte ait la même position (et la zone la même taille) dans les différentes situations 1/ recherche 2/ rien trouvé 3/ utilisation trouvée.   

image.png

4.8 KiB

image.png

5.4 KiB

image.png

3.8 KiB

fpeters added 1 commit 2024-03-03 10:31:10 +01:00

49b2d0d2e4 misc: adjust margin in wscall usage block (#87691)

fpeters changed title from WIP: misc: adjust margin in wscall usage block (#87691) to misc: adjust margin in wscall usage block (#87691) 2024-03-03 10:43:19 +01:00

lguerin approved these changes 2024-03-04 09:43:40 +01:00

fpeters merged commit 49b2d0d2e4 into main 2024-03-04 10:43:20 +01:00

fpeters deleted branch wip/87691-wscall-usage-margin 2024-03-04 10:43:20 +01:00

Sign in to join this conversation.

Reviewers

No reviewers

lguerin

Labels

Clear labels

No items

No Label

Milestone

Clear milestone

No items

No Milestone

Assignees

Clear assignees

No Assignees

2 Participants

Notifications

Subscribe

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/wcs#1217

No description provided.