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 */
_______________________________________________
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help : https://help.launchpad.net/ListHelp
