MediaWiki:Common.css: Unterschied zwischen den Versionen

Version vom 26. September 2019, 12:15 Uhr

/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */
.navigation {
  text-align:center;
  font-size:12px;
  margin:0 0 0.5em 0.5em;
  padding:0.2em 0.5em; 
  border:1px solid #aaa;
  background-color:#f6f6f6;
  float:right;
}
/* Info- / Hinweiskasten */
div.info {
    border: 2px solid blue;
    background-color: #D1DEFF;
    padding: 5px;
    padding-left: 50px;
    margin: 5px 0;
    min-height: 55px;
    background-image: url(/docs/images/e/e2/Icon_info.png);
    background-repeat: no-repeat;
    background-position-x: 5px;
    background-position-y: 5px;
}
/* Thumbnails */
.thumb {
    border: 1px solid lightgray;
    padding: 0.5em;
}
.thumb.tright {
    margin: 0 0 0.5em 0.5em;
}
.thumbcaption {
    font-size: smaller;
    padding-top: 0.5em;
}
div.gallerytext p {
    font-size: smaller;
}
/* Code blocks */
pre {
    background-color: #f8f8f8;
    border-color: #dfdfdf;
    border-style: solid;
    border-width: 1px;
    color: #333333;
    font-family: Consolas,"Liberation Mono",Courier,monospace;
    font-weight: normal;
    padding: 0.125rem 0.3125rem 0.0625rem;
    font-size: small;
    line-height: initial;
}