##// 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 h6:hover .anchor-link {
1575 }
1575 }
1576 .widget-radio-box label {
1576 .widget-radio-box label {
1577 margin-top: 0px;
1577 margin-top: 0px;
1578 }
1579 .widget-radio {
1580 margin-left: 20px;
1578 margin-left: 20px;
1581 }
1579 }
1582 /*# sourceMappingURL=ipython.min.css.map */ No newline at end of file
1580 /*# sourceMappingURL=ipython.min.css.map */
@@ -10358,8 +10358,6 h6:hover .anchor-link {
10358 }
10358 }
10359 .widget-radio-box label {
10359 .widget-radio-box label {
10360 margin-top: 0px;
10360 margin-top: 0px;
10361 }
10362 .widget-radio {
10363 margin-left: 20px;
10361 margin-left: 20px;
10364 }
10362 }
10365 /*!
10363 /*!
General Comments 0
You need to be logged in to leave comments. Login now