This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +4
-8
lines changed
src/librustdoc/html/static/css Expand file tree Collapse file tree 1 file changed +4
-8
lines changed Original file line number Diff line number Diff line change @@ -290,20 +290,21 @@ p:last-child {
290290button {
291291 /* Buttons on Safari have different default padding than other platforms. Make them the same. */
292292 padding : 1px 6px ;
293+ /* Opinionated tweak: use pointer cursor as clickability signifier. */
294+ cursor : pointer;
293295}
294296
297+ /* end tweaks for normalize.css 8 */
298+
295299button # toggle-all-docs {
296300 padding : 0 ;
297301 background : none;
298302 border : none;
299- cursor : pointer;
300303 /* iOS button gradient: https://stackoverflow.com/q/5438567 */
301304 -webkit-appearance : none;
302305 opacity : 1 ;
303306}
304307
305- /* end tweaks for normalize.css 8 */
306-
307308.rustdoc {
308309 display : flex;
309310 flex-direction : row;
@@ -1305,7 +1306,6 @@ a.test-arrow:hover {
13051306# titles > button {
13061307 text-align : center;
13071308 font-size : 1.125rem ;
1308- cursor : pointer;
13091309 border : 0 ;
13101310 border-top : 2px solid;
13111311 flex : 1 ;
@@ -1345,7 +1345,6 @@ a.test-arrow:hover {
13451345 font-weight : bold;
13461346 background : none;
13471347 color : inherit;
1348- cursor : pointer;
13491348 text-align : center;
13501349 border : none;
13511350 outline : none;
@@ -1367,7 +1366,6 @@ a.test-arrow:hover {
13671366
13681367# settings-menu > a , # help-button > a , # copy-path {
13691368 width : 33px ;
1370- cursor : pointer;
13711369 line-height : 1.5 ;
13721370}
13731371
@@ -1796,7 +1794,6 @@ in storage.js
17961794 z-index : 10 ;
17971795 border-top-right-radius : 3px ;
17981796 border-bottom-right-radius : 3px ;
1799- cursor : pointer;
18001797 border : 1px solid;
18011798 border-left : 0 ;
18021799 }
@@ -1967,7 +1964,6 @@ in storage.js
19671964 position : absolute;
19681965 top : 0.25em ;
19691966 z-index : 1 ;
1970- cursor : pointer;
19711967 padding : 0 ;
19721968 background : none;
19731969 border : none;
You can’t perform that action at this time.
0 commit comments