Page history
May 10, 2023
Text replacement - ";padding" to "; padding"
m+1
Text replacement - ";text" to "; text"
m+1
Text replacement - ";"" to """
m−2
Text replacement - "({\|[^\n]+)↵\|- *↵" to "$1 "
m−4
Text replacement - "22em;" " to "22em""
m−2
May 9, 2023
Text replacement - "border: 1px solid #aaa; background-color: #f9f9f9; color: black; margin-bottom: 0.5em; margin-left: 1em; padding: 0.2em; " to ""
m−121
Text replacement - "font-size:90%; " to ""
m−15
Text replacement - "float: right; clear: right; " to ""
m−28