Difference between revisions of "MediaWiki:Common.css"
Jump to navigation
Jump to search
m |
m |
||
(5 intermediate revisions by the same user not shown) | |||
Line 64: | Line 64: | ||
.mw-highlight pre { | .mw-highlight pre { | ||
− | + | border-style: dashed; | |
+ | border-width: 1px; | ||
+ | border-color: #2f6fab; | ||
+ | } | ||
+ | |||
+ | #toc { | ||
+ | position: fixed; | ||
+ | right: 0; | ||
+ | top: 7em; /* 5em is height of header, 6em brings just under */ | ||
+ | /* bottom: 5em; /* 5em puts us above the footer; not bad but too low when TOC is collapsed */ | ||
+ | |||
+ | z-index: 10000; /* Ensure we float above the header, etc. */ | ||
+ | |||
+ | /* Add opacity (translucency) */ | ||
+ | background-color: rgb(249, 249, 249); | ||
+ | background-color: rgba(249, 249, 249, 0.9); /* Higher opacity (last arg) means less transparency */ | ||
+ | } | ||
+ | /* Ensure the TOC height doesn't take over the screen; percentages may be higher than view port, so we use pixels */ | ||
+ | #toc > ul { | ||
+ | max-height: 600px; | ||
+ | overflow: auto; | ||
+ | } | ||
+ | .toctoggle { | ||
+ | float: right; | ||
} | } |
Latest revision as of 06:57, 21 February 2021
/* CSS placed here will be applied to all skins */
vwDoc
{
}
vwDoc:pre
{
}
vwDoc:desc
{
}
vwDoc:def
{
}
vwDoc:interface
{
}
vwDoc:members
{
}
vwDoc:params
{
}
vwDoc:return
{
}
vwDoc:remark
{
}
vwDoc:sample
{
}
vwDoc:version
{
}
vwDoc:seeAlso
{
}
vwDoc:pre:syntaxhighlight
{
border: 5px red;
}
.mw-highlight pre {
border-style: dashed;
border-width: 1px;
border-color: #2f6fab;
}
#toc {
position: fixed;
right: 0;
top: 7em; /* 5em is height of header, 6em brings just under */
/* bottom: 5em; /* 5em puts us above the footer; not bad but too low when TOC is collapsed */
z-index: 10000; /* Ensure we float above the header, etc. */
/* Add opacity (translucency) */
background-color: rgb(249, 249, 249);
background-color: rgba(249, 249, 249, 0.9); /* Higher opacity (last arg) means less transparency */
}
/* Ensure the TOC height doesn't take over the screen; percentages may be higher than view port, so we use pixels */
#toc > ul {
max-height: 600px;
overflow: auto;
}
.toctoggle {
float: right;
}