«ميدياويكي:Common.css»: الفرق بين المراجعتين

/* ستؤثر الأنماط المتراصة (CSS) المعروضة هنا على كل الواجهات */
/* Added by Abdalla, 2020-12-05, to fix the font scaling problem in iOS; 
 * See https://stackoverflow.com/questions/20924039/wrong-font-size-when-using-float-right-in-css-on-mobile-safari
 * Also made fonts larger
 */
 
body {
    font-size: larger;
    text-size-adjust: 100%; 
    -ms-text-size-adjust: 100%; 
    -moz-text-size-adjust: 100%; 
    -webkit-text-size-adjust: 100%;
}
 
.quoted {
    border-right: solid 1px;
    padding-right: 10px;
    color:blue;
}
 
.gutter {
    display:table-cell;
    vertical-align:middle;
    padding-right:50px;
    opacity:0.5;
    border-right:solid 1px
}
 
.treeBranch {
  cursor: pointer !important;
  -webkit-user-select: none !important; /* Safari 3.1+ */
  -moz-user-select: none !important; /* Firefox 2+ */
  -ms-user-select: none !important; /* IE 10+ */
  user-select: none !important;
}
 
.treeBranch::before {
  content: "+" !important;
  color: black !important;
  display: inline-block !important;
  margin-left: 3px !important;
  width: 14px !important;
}
 
.treeBranch-down::before {
  content: "--" !important;
}
 
.treeBranch-nested {
  display: none !important;
}
 
.treeBranch-empty::before {
    content: " "  !important;
    margin-left: 17px  !important;
    display: inline-block !important;
}
 
.treeBranch-active {
  display: block  !important;
}