«ميدياويكي: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;
  -webkit-user-select: none; /* Safari 3.1+ */
  -moz-user-select: none; /* Firefox 2+ */
  -ms-user-select: none; /* IE 10+ */
  user-select: none;
}
 
.treeBranch::before {
  content: "+";
  color: black;
  display: inline-block;
  margin-left: 3px;
  width: 14px;
}
 
.treeBranch-down::before {
  content: "--";
}
 
.treeBranch-nested {
  display: none;
}
 
.treeBranch-empty::before {
    content: " ";
    margin-left: 17px;
    display: inline-block;
}
 
.treeBranch-active {
  display: block;
}