Updated for theme

This commit is contained in:
Dimitris Zlatanidis 2023-06-12 11:35:15 +03:00
parent 10f7e4a943
commit 9a9433db01
2 changed files with 15 additions and 11 deletions

18
.idea/workspace.xml generated
View file

@ -8,8 +8,6 @@
</component>
<component name="ChangeListManager">
<list default="true" id="122a51c9-ec79-4509-bab4-7ab1474a7769" name="Changes" comment="Updated for theme">
<change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
<change beforePath="$PROJECT_DIR$/docs/index.md" beforeDir="false" afterPath="$PROJECT_DIR$/docs/index.md" afterDir="false" />
<change beforePath="$PROJECT_DIR$/mkdocs.yml" beforeDir="false" afterPath="$PROJECT_DIR$/mkdocs.yml" afterDir="false" />
</list>
<option name="SHOW_DIALOG" value="false" />
@ -81,13 +79,6 @@
<option name="presentableId" value="Default" />
<updated>1670414596656</updated>
</task>
<task id="LOCAL-02099" summary="Updated for download">
<created>1685475660295</created>
<option name="number" value="02099" />
<option name="presentableId" value="LOCAL-02099" />
<option name="project" value="LOCAL" />
<updated>1685475660295</updated>
</task>
<task id="LOCAL-02100" summary="Updated for download">
<created>1685475843862</created>
<option name="number" value="02100" />
@ -424,7 +415,14 @@
<option name="project" value="LOCAL" />
<updated>1686558641549</updated>
</task>
<option name="localTasksCounter" value="2148" />
<task id="LOCAL-02148" summary="Updated for theme">
<created>1686558790706</created>
<option name="number" value="02148" />
<option name="presentableId" value="LOCAL-02148" />
<option name="project" value="LOCAL" />
<updated>1686558790706</updated>
</task>
<option name="localTasksCounter" value="2149" />
<servers />
</component>
<component name="Vcs.Log.History.Properties">

View file

@ -13,4 +13,10 @@ theme:
name: terminal
palette: dark
features:
- footer.prev_next
- footer.prev_next
- navigation.side.indexes
- revision.date
- revision.history
static_templates:
- 404.html
- about/coverage-report/index.html