Gebruiker:Jongfeli/common.css

Opmerking: na het publiceren is het wellicht nodig uw browsercache te legen om de veranderingen te zien.

Firefox / Safari: houd Shift ingedrukt terwijl u:je op Vernieuwen klikt of druk op Ctrl-F5 of Ctrl-R (⌘-Shift-R op een Mac)
Google Chrome: druk op Ctrl-Shift-R (⌘-Shift-R op een Mac)
Edge: houd Ctrl ingedrukt terwijl u:je op Vernieuwen klikt of druk op Ctrl-F5.

pre {
  border: 1px dashed #aaaaaa;
  border-radius: 4px 4px 4px 4px;
}

div#simpleSearch {
  width: 20em;
}

.mw-code {
  border: 1px dashed #aaaaaa;
  border-radius: 4px 4px 4px 4px;
}

.catlinks {
  border-radius: 4px 4px 4px 4px;
}

.toc {
  border-radius: 4px 4px 4px 4px;
}

/* increase search bar width */
div#simpleSearch {
  width: 25em;
}