Labels Milestones

New Issue

7 Open 1 Closed

Label

Show archived labels

Use alt + click/enter to exclude labels

All labels No label

Milestone

All milestones No milestones

Project

All projects No project

Author

All authors

Assignee

All assignees No assignee

mb

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

7 Open 1 Closed

Close

Label

Clear labels

Milestone

No milestone

Projects

Clear projects

Assignee

Clear assignees

No assignee

mb

[paged.js] align elements to baseline grid

#7 opened 2021-11-24 16:52:11 +01:00 by mb

[possible next step] embed paged.js in the mediawiki itself?

1

#6 opened 2021-11-24 16:24:08 +01:00 by mb

[CSS/browsers] how to print images in 300 dpi?

1

#5 opened 2021-11-24 16:15:26 +01:00 by mb

[paged.js] column-break rules only work when hardcoded in HTML

#4 opened 2021-10-20 18:49:54 +02:00 by mb

[paged.js] sometimes sentences get "eaten"

2

#3 opened 2021-10-20 18:49:05 +02:00 by mb

images do not get updated when changed on the wiki

#2 opened 2021-10-20 18:27:34 +02:00 by mb

merge CLI and web-interface update.py into one

#1 opened 2021-10-20 18:26:37 +02:00 by mb