dot/dots
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
dots/site/assets/css/code.css

10 lines
75 B
CSS
Raw Normal View History

Remove some spurious margin from pretty homepage/script
2023-10-31 23:21:45 -04:00
pre {
margin-bottom: 0;
}
Highlight dots homepage on the fly if you open it in browser
2023-10-31 23:20:04 -04:00
code {
tab-size: 2;
}
a {
font-size: 1.3em;
}
Reference in a new issue Copy permalink