# # # patch "local.css" # from [1c484720e810fdfb24c0e786f6a9fd419a3e687e] # to [97e3f4e991024ec51aba0bd198fb6956d02bcab4] # ============================================================ --- local.css 1c484720e810fdfb24c0e786f6a9fd419a3e687e +++ local.css 97e3f4e991024ec51aba0bd198fb6956d02bcab4 @@ -44,7 +44,8 @@ code { text-align: right; } -.actions ul { +.actions ul, +.pageheader .actions ul { border: 0; padding: 0; padding-right: 2em; @@ -269,3 +270,23 @@ code { #footer { text-align: center; } + +#feedlink { + margin-top: 0.5em; + margin-bottom: 1em; +} + +.recentchanges { + font-size: 1.3em; + border: 0; +} + +.recentchanges .changelog { + font-style: normal; + padding-left: 1em; +} + +.recentchanges .metadata .pagelinks a { + margin-right: 0.5em; +} +