Changes

Jump to navigation Jump to search
914 bytes added ,  10:15, 25 August 2020
no edit summary
}
/* Style the buttons that are used to open the tab content */
button.tablinks {
display: block;
background-color: transparent;
padding: 5px 5px;
width: 30%;
outline: none;
text-align: left;
cursor: pointer;
font-size: 14pt;
font-weight: bold;
transition: 0.3s;
margin-top: 0.70em; margin-bottom: 0.70em; padding-top: 0.5rem; padding-left: 0.5rem; border-bottom: none; border-left: solid 8px #872222;
}
 
/* Change background color of buttons on hover */
button.tablinks:hover {
background-color: #ddd;
}
 
/* Create an active/current "tab button" class */
button.tablinks.active {
background-color: #ccc;
color: black;
}
 
/* Style the tab content */
.contextxmlform {
margin-left: 10px;
display: none;
}
#shortdescform {
margin-left: 10px;
display: block;
}
h1.command {
font-family:monospace;
.mw-body-content li ul { margin-top: 0px; padding-top: 0px; margin-bottom: 0.5px; padding-bottom: 0.px;}
/*/ comment after feedback on mailing list 20200629
https://lists.contextgarden.net/pipermail/wiki/2020/000112.html*/
box-shadow: 0px 5px 8px rgba(0,0,0,.25);
height: stretch;
width=: 100px;
border-bottom: solid 4px #872222;
height: stretch;

Navigation menu