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 3 years ago by mb

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

#6 opened 3 years ago by mb

1

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

#5 opened 3 years ago by mb

1

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

#4 opened 3 years ago by mb

[paged.js] sometimes sentences get "eaten"

#3 opened 3 years ago by mb

2

images do not get updated when changed on the wiki

#2 opened 3 years ago by mb

merge CLI and web-interface update.py into one

#1 opened 3 years ago by mb