This website requires JavaScript.
Explore
Help
Sign in
dot
/
dots
Watch
1
Star
0
Fork
You've already forked dots
0
Code
Issues
Pull requests
Releases
Wiki
Activity
main
dots
/
site
/
assets
/
css
/
code.css
10 lines
75 B
CSS
Raw
Permalink
Normal View
History
Unescape
Escape
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