Labels Milestones

Search

New Issue

7 Open 1 Closed

Label

Use alt + click/enter to exclude labels All labels

Milestone

All milestones

Assignee

All assignees 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

Milestone

No milestone

Assignee

No assignee

mb

[paged.js] align elements to baseline grid

#7 opened 1 year ago by mb

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

#6 opened 1 year ago by mb

1

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

#5 opened 1 year ago by mb

1

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

#4 opened 1 year ago by mb

[paged.js] sometimes sentences get "eaten"

#3 opened 1 year ago by mb

2

images do not get updated when changed on the wiki

#2 opened 1 year ago by mb

merge CLI and web-interface update.py into one

#1 opened 1 year ago by mb