widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

GunChleoc has proposed merging lp:~widelands-dev/widelands-website/dev_doc_css into lp:widelands-website.

Requested reviews:
  Widelands Developers (widelands-dev)
Related bugs:
  Bug #1512093 in Widelands Website: "Add tribes directory to developer scripting reference"
  https://bugs.launchpad.net/widelands-website/+bug/1512093

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands-website/dev_doc_css/+merge/308710

Adjusted css for development documentation.
-- 
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands-website/dev_doc_css into lp:widelands-website.

=== modified file 'media/css/documentation.css'
--- media/css/documentation.css	2016-08-02 19:22:42 +0000
+++ media/css/documentation.css	2016-10-18 09:44:49 +0000
@@ -4,18 +4,43 @@
 }
 
 .sphinx *:hover > a.headerlink {
-	visibility: visible; 
+	visibility: visible;
 }
 
 img.math{
 	vertical-align: middle;
 }
 
+th {
+	background-color: #4A4A4A;
+}
+
+/* Disable base style and set new ones */
+code {
+	font-weight: bold;
+	font-size: 1.3em;
+}
+
+/* Used for functions in first line */
+dt {
+	margin-top: 0.5em;
+	margin-bottom: 0.25em;
+}
+code.descname {
+	padding: 0.25em;
+	background-image: none;
+	font-weight: bold;
+	font-size: 1.4em;
+	color: #181;
+}
+
+
 /*******************************/
 /* Pygment Syntax Highlighting */
 /*******************************/
 pre {
 	margin: 0px;
+	display: block; /*show black background over the whole width*/
 }
 .highlight {
 /*	text-shadow: none;
@@ -86,4 +111,4 @@
 .highlight .vc { color: #bb60d5 } /* Name.Variable.Class */
 .highlight .vg { color: #bb60d5 } /* Name.Variable.Global */
 .highlight .vi { color: #bb60d5 } /* Name.Variable.Instance */
-.highlight .il { color: #40a070 } /* Literal.Number.Integer.Long */
\ No newline at end of file
+.highlight .il { color: #40a070 } /* Literal.Number.Integer.Long */