--- a/UI/data/documentViewerStyle.css Sat Oct 21 15:13:56 2017 +0200 +++ b/UI/data/documentViewerStyle.css Sat Oct 21 15:18:15 2017 +0200 @@ -1,7 +1,11 @@ +/* + * This style definition is based on the style sheet file of Spyder. + */ + body { background-color: white; color: rgb(51, 51, 51); - margin: 0px 25px 15px 25px; + margin: 0px 10px 10px 10px; } @@ -49,7 +53,7 @@ margin-bottom: 15px; margin-right: 1px; padding: 1px; - background-color: #fff4c5; + background-color: #fff4d8; border: 1px solid #C9C9C9; border-radius: 6px 6px 6px 6px; box-shadow: 1px 1px 7px #CACACA; @@ -65,7 +69,7 @@ } span.argspec-highlight { - color: red; + color: blue; font-size: 110%; font-weight: 900; } @@ -90,14 +94,14 @@ } h2 { - font-size: 140%; + font-size: 120%; font-weight: normal; border-bottom: 1px solid rgb(220, 220, 220); padding: 4px 0px 4px 0px; } h3 { - font-size: 115%; + font-size: 110%; } h4 {