5,951
edits
MediaWiki:Common.css: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 660: | Line 660: | ||
} | } | ||
/*.tlp- | /* ============================== side-by-side Tractatus =============================== */ | ||
.de_col .tlp-aside-par { | |||
}*/ | float: none; | ||
margin-left: 0; | |||
} | |||
.en_col .tlp-aside-par { | |||
display: none; | |||
} | |||
.it_col .tlp-aside-par { | |||
display: none; | |||
} | |||
.es_col .tlp-aside-par { | |||
display: none; | |||
} | |||
.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); | |||
} | |||
/* ============================== mobile responsiveness =============================== */ | /* ============================== mobile responsiveness =============================== */ | ||