Mr. Johnson (talk | contribs) No edit summary |
Mr. Johnson (talk | contribs) No edit summary |
||
Line 29: | Line 29: | ||
font-family: Lucida Sans Unicode,Lucida Grande,sans-serif; | font-family: Lucida Sans Unicode,Lucida Grande,sans-serif; | ||
margin: 2px; | margin: 2px; | ||
padding: 0. | padding: 0.1em 0.5em; | ||
border: 1px solid; | border: 1px solid; | ||
border-color: #d6d6d6 #b4b4b4 #b4b4b4 #d6d6d6; | border-color: #d6d6d6 #b4b4b4 #b4b4b4 #d6d6d6; |
Revision as of 21:20, 4 December 2023
/* CSS placed here will be applied to all skins */
.error {
font-size: medium !important;
font-weight: bold;
color: red;
}
code {
font-family: monospace;
}
pre {
font-family: monospace;
}
pre span {
font-family: monospace !important;
}
.login-only {
display: none;
}
kbd {
box-shadow: rgb(132 132 132 / 0.16) 1px 1px 4px 1px;
text-shadow: none;
font-weight: bold;
font-family: Lucida Sans Unicode,Lucida Grande,sans-serif;
margin: 2px;
padding: 0.1em 0.5em;
border: 1px solid;
border-color: #d6d6d6 #b4b4b4 #b4b4b4 #d6d6d6;
-moz-border-radius: 6px;
-webkit-border-radius: 6px;
border-radius: 6px;
background-color: #F2F2F2;
background-image: -moz-linear-gradient(top, #FCFCFC, #E0E0E0);
background-image: -o-linear-gradient(top, #FCFCFC, #E0E0E0);
background-image: -webkit-linear-gradient(top, #FCFCFC, #E0E0E0);
background-image: linear-gradient(top, #FCFCFC, #E0E0E0);
}