From ab48969b83e1e54a71978cd150be432eda73d916 2014-01-29 03:36:03 From: Brian E. Granger Date: 2014-01-29 03:36:03 Subject: [PATCH] H5 and H6 are base font size + italic. --- diff --git a/IPython/html/static/notebook/less/renderedhtml.less b/IPython/html/static/notebook/less/renderedhtml.less index 1431a58..7955cae 100644 --- a/IPython/html/static/notebook/less/renderedhtml.less +++ b/IPython/html/static/notebook/less/renderedhtml.less @@ -14,16 +14,16 @@ h2 {font-size: 157.1%; margin: 1.27em 0 0 0; font-weight: bold; line-height: 1.0;} h3 {font-size: 128.6%; margin: 1.55em 0 0 0; font-weight: bold; line-height: 1.0;} h4 {font-size: 100%; margin: 2em 0 0 0; font-weight: bold; line-height: 1.0;} - h5 {font-size: 85.7%; margin: 1.83em 0 0 0; font-weight: bold; line-height: 1.0;} - h6 {font-size: 85.7%; margin: 1.83em 0 0 0; font-weight: bold; line-height: 1.0; font-style: italic} + h5 {font-size: 100; margin: 2em 0 0 0; font-weight: bold; line-height: 1.0; font-style: italic} + h6 {font-size: 100%; margin: 2em 0 0 0; font-weight: bold; line-height: 1.0; font-style: italic} // Reduce the top margins by 14px compared to above h1:first-child {margin-top: 0.538em} h2:first-child {margin-top: 0.636em} h3:first-child {margin-top: 0.777em} h4:first-child {margin-top: 1em} - h5:first-child {margin-top: 1.16em} - h6:first-child {margin-top: 1.16em} + h5:first-child {margin-top: 1em} + h6:first-child {margin-top: 1em} ul {list-style:disc; margin: 0em 2em;} ul ul {list-style:square; margin: 0em 2em;} diff --git a/IPython/html/static/style/ipython.min.css b/IPython/html/static/style/ipython.min.css index 9913e94..2cddc98 100644 --- a/IPython/html/static/style/ipython.min.css +++ b/IPython/html/static/style/ipython.min.css @@ -127,14 +127,14 @@ p.p-space{margin-bottom:10px} .rendered_html h2{font-size:157.1%;margin:1.27em 0 0 0;font-weight:bold;line-height:1} .rendered_html h3{font-size:128.6%;margin:1.55em 0 0 0;font-weight:bold;line-height:1} .rendered_html h4{font-size:100%;margin:2em 0 0 0;font-weight:bold;line-height:1} -.rendered_html h5{font-size:85.7%;margin:1.83em 0 0 0;font-weight:bold;line-height:1} -.rendered_html h6{font-size:85.7%;margin:1.83em 0 0 0;font-weight:bold;line-height:1;font-style:italic} +.rendered_html h5{font-size:100;margin:2em 0 0 0;font-weight:bold;line-height:1;font-style:italic} +.rendered_html h6{font-size:100%;margin:2em 0 0 0;font-weight:bold;line-height:1;font-style:italic} .rendered_html h1:first-child{margin-top:.538em} .rendered_html h2:first-child{margin-top:.636em} .rendered_html h3:first-child{margin-top:.777em} .rendered_html h4:first-child{margin-top:1em} -.rendered_html h5:first-child{margin-top:1.16em} -.rendered_html h6:first-child{margin-top:1.16em} +.rendered_html h5:first-child{margin-top:1em} +.rendered_html h6:first-child{margin-top:1em} .rendered_html ul{list-style:disc;margin:0 2em} .rendered_html ul ul{list-style:square;margin:0 2em} .rendered_html ul ul ul{list-style:circle;margin:0 2em} diff --git a/IPython/html/static/style/style.min.css b/IPython/html/static/style/style.min.css index fff2cb4..707d341 100644 --- a/IPython/html/static/style/style.min.css +++ b/IPython/html/static/style/style.min.css @@ -1341,14 +1341,14 @@ p.p-space{margin-bottom:10px} .rendered_html h2{font-size:157.1%;margin:1.27em 0 0 0;font-weight:bold;line-height:1} .rendered_html h3{font-size:128.6%;margin:1.55em 0 0 0;font-weight:bold;line-height:1} .rendered_html h4{font-size:100%;margin:2em 0 0 0;font-weight:bold;line-height:1} -.rendered_html h5{font-size:85.7%;margin:1.83em 0 0 0;font-weight:bold;line-height:1} -.rendered_html h6{font-size:85.7%;margin:1.83em 0 0 0;font-weight:bold;line-height:1;font-style:italic} +.rendered_html h5{font-size:100;margin:2em 0 0 0;font-weight:bold;line-height:1;font-style:italic} +.rendered_html h6{font-size:100%;margin:2em 0 0 0;font-weight:bold;line-height:1;font-style:italic} .rendered_html h1:first-child{margin-top:.538em} .rendered_html h2:first-child{margin-top:.636em} .rendered_html h3:first-child{margin-top:.777em} .rendered_html h4:first-child{margin-top:1em} -.rendered_html h5:first-child{margin-top:1.16em} -.rendered_html h6:first-child{margin-top:1.16em} +.rendered_html h5:first-child{margin-top:1em} +.rendered_html h6:first-child{margin-top:1em} .rendered_html ul{list-style:disc;margin:0 2em} .rendered_html ul ul{list-style:square;margin:0 2em} .rendered_html ul ul ul{list-style:circle;margin:0 2em}