MediaWiki:Vector.css:修订间差异

大小无更改 、​ 2023年4月22日 (星期六)
无编辑摘要
无编辑摘要
无编辑摘要
第13行: 第13行:
}
}
.mw-header{background: rgba(255, 255, 255, 0.7);-webkit-backdrop-filter: blur(10px);backdrop-filter: blur(10px); margin-top:0.5rem; border-radius: 5px;}
.mw-header{background: rgba(255, 255, 255, 0.7);-webkit-backdrop-filter: blur(10px);backdrop-filter: blur(10px); margin-top:0.5rem; border-radius: 5px;}
#mw-panel{border-radius: 5px; padding: 10px; background: rgba(255, 255, 255, 0.7);-webkit-backdrop-filter: blur(10px);backdrop-filter: blur(10px);}
#mw-panel{border-radius: 5px; padding: 18px; background: rgba(255, 255, 255, 0.7);-webkit-backdrop-filter: blur(10px);backdrop-filter: blur(10px);}
#mw-panel a,#vector-menu-heading-label{font-size:16px;line-height:18px}
#mw-panel a,#vector-menu-heading-label{font-size:16px;line-height:18px}