Commit Graph

3 Commits

Author SHA1 Message Date
fb8ab1c4c5 Remove duplicate closing of </style>
Noted by Peter Eisentraut
2017-04-14 21:37:50 +02:00
d7957a214d Fix font adjustment for double-code embedding
Add additional CSS injection to prevent code tag embedded in code tag
from having its font size adjusted twice.

Discussion: https://postgr.es/m/20170408015201.GA18573@momjian.us
2017-04-14 20:45:12 +02:00
ac612423f5 Synchronize documentation stylesheet changes to the new layout
Thom Brown
2011-06-15 12:27:14 +02:00