Mr. Johnson (talk | contribs) No edit summary  | 
				Mr. Johnson (talk | contribs)  No edit summary  | 
				||
| Line 21: | Line 21: | ||
.login-only {    | .login-only {    | ||
   display: none;    |    display: none;    | ||
}  | |||
kbd {  | |||
    box-shadow: rgb(132 132 132 / 0.16) 1px 1px 4px 1px;  | |||
    text-shadow: none;  | |||
    font-weight: bold;  | |||
    margin-right: 4px;  | |||
    margin-left: 4px;  | |||
    font-family: Lucida Sans Unicode,Lucida Grande,sans-serif;  | |||
    font-size: 14px;  | |||
    padding: 0.2em 1em;  | |||
    border: 1px solid;  | |||
    border-color: #d6d6d6 #b4b4b4 #b4b4b4 #d6d6d6;  | |||
    -moz-border-radius: 4px;  | |||
    -webkit-border-radius: 4px;  | |||
    border-radius: 4px;  | |||
    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);  | |||
}  | }  | ||
Revision as of 21:13, 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;
    margin-right: 4px;
    margin-left: 4px;
    font-family: Lucida Sans Unicode,Lucida Grande,sans-serif;
    font-size: 14px;
    padding: 0.2em 1em;
    border: 1px solid;
    border-color: #d6d6d6 #b4b4b4 #b4b4b4 #d6d6d6;
    -moz-border-radius: 4px;
    -webkit-border-radius: 4px;
    border-radius: 4px;
    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);
}
