rjt
/
mediawiki-theme-timeless-gmt
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Bullets changed

This commit is contained in:
ryliejamesthomas 2023-07-16 18:00:23 +10:00
parent 59ef86dd09
commit 9b6d72d3bd
1 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gmt.css
View File

@ -9,21 +9,27 @@
/* These names are confusing... */
}
body {
font-family:none;
font-size:1em;
}
div#mw-content {
border:var(--colour_secondary) 1px dashed;
}
div#mw-content ul > li::marker {
color:var(--colour_secondary);
content:"◦";
content:"▹";
}
div#mw-content ul > li {
padding-left:0.5em;
}
div#mw-content div#toc ul > li::marker {
content:"";
div#mw-content div#toc ul > li::marker,
div#mw-content div.search-types ul > li::marker {
content:none;
}
div#mw-content div#toc ul > li {
@ -112,6 +118,7 @@ em.jargon > a {
p.nb {
background:var(--colour_bg_secondary);
border:solid 1px var(--colour_quaternary);
display:inline-block;
margin:1em 0;
padding:1em;
}