Guillaume Gomez
|
e5c24ba400
|
Clean up rustdoc static files
|
2021-07-07 17:52:18 +02:00 |
|
Guillaume Gomez
|
e150aebbdc
|
Remove "loading content" which is now unnecessary
|
2021-05-12 11:27:59 +02:00 |
|
Guillaume Gomez
|
828179d687
|
Add a button to copy the "use statement"
|
2021-03-31 22:13:47 +02:00 |
|
Guillaume Gomez
|
3d9aceb238
|
Fix CSS issues when javascript is disabled
|
2021-03-09 21:40:04 +01:00 |
|
Guillaume Gomez
|
9b09dc0579
|
Show hidden elements by default when JS is disabled
|
2020-11-24 14:13:04 +01:00 |
|
Guillaume Gomez
|
de961a7e12
|
Fix rustdoc display with js disabled
|
2019-10-02 14:21:25 +02:00 |
|
Mark Rousskov
|
2a663555dd
|
Remove licenses
|
2018-12-25 21:08:33 -07:00 |
|
Guillaume Gomez
|
e17518f65e
|
Show everything when noscript is on
|
2018-12-06 23:34:36 +01:00 |
|