Changeset 41c9dbc in flex_extract.git for for_developers/Sphinx/source/conf.py

Timestamp:

May 24, 2019, 5:07:11 PM (5 years ago)

Author:

Anne Philipp <anne.philipp@…>

Branches:

master, ctbto, dev

Children:

e0005c9, 0b00607

Parents:

fd6b3ad

Message:

Large update of Sphinx doc; moved Sphinx source to dev dir; Cleaned control files

File:

• for_developers/Sphinx/source/conf.py (moved) (moved from documentation/Sphinx/source/conf.py) (6 diffs)

for_developers/Sphinx/source/conf.py

@@ -24 +24 @@
 
 project = u'flex_extract'
-copyright = u'2018, Anne Philipp and Leopold Haimberger'
+copyright = u'2019, Anne Philipp and Leopold Haimberger'
 author = u'Anne Philipp and Leopold Haimberger'
 
@@ -52 +52 @@
     'sphinx.ext.viewcode',
     'sphinx.ext.githubpages',
+#    'sphinx_pyreverse',
+    'sphinx-jsonschema',
+    'sphinx.ext.intersphinx'
 ]
 
@@ -93 +96 @@
 # documentation.
 #
-# html_theme_options = {}
+html_theme_options = {
+     'display_version': True,
+     'titles_only': False,
+}
 
 # Add any paths that contain custom static files (such as style sheets) here,
@@ -122 +128 @@
     # The paper size ('letterpaper' or 'a4paper').
     #
-    # 'papersize': 'letterpaper',
+    'papersize': 'a4paper',
 
     # The font size ('10pt', '11pt' or '12pt').
     #
-    # 'pointsize': '10pt',
+    'pointsize': '12pt',
 
     # Additional stuff for the LaTeX preamble.
@@ -134 +140 @@
     # Latex figure (float) alignment
     #
-    # 'figure_align': 'htbp',
+    'figure_align': 'htbp',
 }
 
@@ -170 +176 @@
 # -- Extension configuration -------------------------------------------------
 
+html_context = {
+    'css_files': ['_static/css/custom.css',
+                  '_static/css/theme_overrides.css'
+                 ],
+}
+
 # -- Options for todo extension ----------------------------------------------
 
 # If true, `todo` and `todoList` produce output, else they produce nothing.
 todo_include_todos = True
+
+
+# -- Add extra css -----------------------------------------------------------
+def setup(app):
+    app.add_stylesheet('css/custom.css')
+
+
+
+