Différences entre versions de « MediaWiki:Common.css »

Version du 20 novembre 2020 à 12:23

div.toc {
  width:300px;
  float:right;
  padding-left: 1.5em;
}

div.toc .toc-title {
  font-weight:bold;
  font-size:1.5em;
}

div.toc .toc-entries {
  padding: .3em;
}

div.toc .toc-entries > div {
  background: #fff;
  border: 1px solid #eaecf0;
  padding: .8em;
  font-size: 95%;
}