MediaWiki:Mobile.css: Difference between revisions

MediaWiki:Mobile.css (view source)

Revision as of 16:54, 1 November 2022

2,269 bytes added , 2 years ago

no edit summary

MLavazza

Bureaucrats, Editors, Interface administrators, Administrators

5,952

edits

@@ Line 439: / Line 439: @@
 .tlp-button {
    float: right;
+}
+/* ============================== side-by-side Tractatus =============================== */
+.de_col .tlp-aside-par {
+  display: none;
+}
+.en_col .tlp-aside-par {
+  display: none;
+}
+.it_col .tlp-aside-par {
+  display: none;
+}
+.es_col .tlp-aside-par {
+  display: none;
+}
+.de_col .reference {
+  display: none;
+}
+.en_col .reference {
+  display: none;
+}
+.it_col .reference {
+  display: none;
+}
+.es_col .reference {
+  display: none;
+}
+.de_col .mwe-math-mathml-inline {
+    display: block!important;
+}
+.en_col .mwe-math-mathml-inline {
+    display: block!important;
+}
+.it_col .mwe-math-mathml-inline {
+    display: block!important;
+}
+.es_col .mwe-math-mathml-inline {
+    display: block!important;
+}
+.de_col, .en_col, .it_col, .es_col {
+  vertical-align: top;
+}
+#de_col_head, #en_col_head, #it_col_head, #es_col_head {
+	vertical-align: top;
+	height: 100px;
+}
+.par_num_col {
+	vertical-align: top;
+	font-weight: bold;
+}
+.checkbox-container {
+  position: relative;
+  padding-left: 25px;
+  padding-right: 10px;
+  margin-bottom: 12px;
+  cursor: pointer;
+  -webkit-user-select: none;
+  -moz-user-select: none;
+  -ms-user-select: none;
+  user-select: none;
+}
+/* Hide the browser's default checkbox */
+.checkbox-container input {
+  position: absolute;
+  opacity: 0;
+  cursor: pointer;
+  height: 0;
+  width: 0;
+}
+/* Create a custom checkbox */
+.checkmark {
+  position: absolute;
+  top: 0;
+  left: 0;
+  height: 18px;
+  width: 18px;
+  border-radius: 2px;
+  background-color: #eee;
+}
+/* On mouse-over, add a grey background color */
+.checkbox-container:hover input ~ .checkmark {
+  background-color: #ccc;
+}
+/* When the checkbox is checked, add a dark grey background */
+.checkbox-container input:checked ~ .checkmark {
+  background-color: #4c4c4c;
+}
+/* Create the checkmark/indicator (hidden when not checked) */
+.checkmark:after {
+  content: "";
+  position: absolute;
+  display: none;
+}
+/* Show the checkmark when checked */
+.checkbox-container input:checked ~ .checkmark:after {
+  display: block;
+}
+/* Style the checkmark/indicator */
+.checkbox-container .checkmark:after {
+  left: 6px;
+  top: 2px;
+  width: 4px;
+  height: 8px;
+  border: solid white;
+  border-width: 0 3px 3px 0;
+  -webkit-transform: rotate(45deg);
+  -ms-transform: rotate(45deg);
+  transform: rotate(45deg);
 }