##// END OF EJS Templates
Merge pull request #7930 from jdfreder/invokecss...
Jonathan Frederic -
r20616:ab1931d0 merge
parent child Browse files
Show More
@@ -1575,8 +1575,6 b' h6:hover .anchor-link {'
1575 1575 }
1576 1576 .widget-radio-box label {
1577 1577 margin-top: 0px;
1578 }
1579 .widget-radio {
1580 1578 margin-left: 20px;
1581 1579 }
1582 1580 /*# sourceMappingURL=ipython.min.css.map */ No newline at end of file
@@ -10358,8 +10358,6 b' h6:hover .anchor-link {'
10358 10358 }
10359 10359 .widget-radio-box label {
10360 10360 margin-top: 0px;
10361 }
10362 .widget-radio {
10363 10361 margin-left: 20px;
10364 10362 }
10365 10363 /*!
General Comments 0
You need to be logged in to leave comments. Login now