diff --git a/_static/alabaster.css b/_static/alabaster.css index 517d0b29..e3174bf9 100644 --- a/_static/alabaster.css +++ b/_static/alabaster.css @@ -69,6 +69,11 @@ div.relations { } +div.sphinxsidebar { + max-height: 100%; + overflow-y: auto; +} + div.sphinxsidebar a { color: #444; text-decoration: none; @@ -155,6 +160,14 @@ div.sphinxsidebar input { font-size: 1em; } +div.sphinxsidebar #searchbox input[type="text"] { + width: 160px; +} + +div.sphinxsidebar .search > div { + display: table-cell; +} + div.sphinxsidebar hr { border: none; height: 1px; @@ -638,15 +651,7 @@ a:hover tt, a:hover code { display: none!important; } -/* Make nested-list/multi-paragraph items look better in Releases changelog - * pages. Without this, docutils' magical list fuckery causes inconsistent - * formatting between different release sub-lists. - */ -div#changelog > div.section > ul > li > p:only-child { - margin-bottom: 0; -} - -/* Hide fugly table cell borders in ..bibliography:: directive output */ +/* Hide ugly table cell borders in ..bibliography:: directive output */ table.docutils.citation, table.docutils.citation td, table.docutils.citation th { border: none; /* Below needed in some edge cases; if not applied, bottom shadows appear */ diff --git a/_static/basic.css b/_static/basic.css index 30fee9d0..4157edf2 100644 --- a/_static/basic.css +++ b/_static/basic.css @@ -222,7 +222,7 @@ table.modindextable td { /* -- general body styles --------------------------------------------------- */ div.body { - min-width: 360px; + min-width: inherit; max-width: 800px; } diff --git a/_static/pygments.css b/_static/pygments.css index 57c7df37..04a41742 100644 --- a/_static/pygments.css +++ b/_static/pygments.css @@ -56,7 +56,7 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: .highlight .nv { color: #000000 } /* Name.Variable */ .highlight .ow { color: #004461; font-weight: bold } /* Operator.Word */ .highlight .pm { color: #000000; font-weight: bold } /* Punctuation.Marker */ -.highlight .w { color: #f8f8f8; text-decoration: underline } /* Text.Whitespace */ +.highlight .w { color: #f8f8f8 } /* Text.Whitespace */ .highlight .mb { color: #990000 } /* Literal.Number.Bin */ .highlight .mf { color: #990000 } /* Literal.Number.Float */ .highlight .mh { color: #990000 } /* Literal.Number.Hex */ diff --git a/genindex.html b/genindex.html index a881b85c..43574afc 100644 --- a/genindex.html +++ b/genindex.html @@ -5,8 +5,8 @@ Index — mata documentation - - + + @@ -15,8 +15,9 @@ + + - @@ -89,11 +90,11 @@

Quick search

diff --git a/index.html b/index.html index a22fae50..8c642d11 100644 --- a/index.html +++ b/index.html @@ -6,8 +6,8 @@ Welcome to automata-library’s documentation! — mata documentation - - + + @@ -17,8 +17,9 @@ + + - @@ -123,11 +124,11 @@

Quick search