[PR #20] [MERGED] Update theme submodule #21

New Issue

admin · 2026-01-23T11:26:07+01:00

admin commented

2026-01-23 11:26:07 +01:00

📋 Pull Request Information

Original PR: https://github.com/doctrine/common-documentation/pull/20
Author: @sdknjg8zxq
Created: 5/21/2017
Status: ✅ Merged
Merged: 5/21/2017
Merged by: @malarzm

Base: master ← Head: update-theme-submodule

📝 Commits (1)

65e8c52 Update git submodule "docs/en/_theme" to master

📊 Changes

1 file changed (+1 additions, -1 deletions)

View changed files

📝 en/_theme (+1 -1)

📄 Description

Update git submodule "en/_theme" to master

This applies these fixes from the theme submodule to Doctrine Common’s documentation:

- Fix broken ServerGrove image on footer
- Fix occasional link overlap
- Delete .DS_Store file in bootstrap folder
- Finish PR #3 "<ol/> styles fixed" (margin-bottom)
- Fix <ol/> styles
- Synchronize docs layout menu with main site.
- Show versions only when having more than one.

---

<sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

## 📋 Pull Request Information **Original PR:** https://github.com/doctrine/common-documentation/pull/20 **Author:** [@sdknjg8zxq](https://github.com/sdknjg8zxq) **Created:** 5/21/2017 **Status:** ✅ Merged **Merged:** 5/21/2017 **Merged by:** [@malarzm](https://github.com/malarzm) **Base:** `master` ← **Head:** `update-theme-submodule` --- ### 📝 Commits (1) - [`65e8c52`](https://github.com/doctrine/common-documentation/commit/65e8c522dac4f3cff872211d29066c5e0ae35763) Update git submodule "docs/en/_theme" to master ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `en/_theme` (+1 -1) </details> ### 📄 Description Update git submodule "en/_theme" to master This applies these fixes from the theme submodule to Doctrine Common’s documentation: ``` - Fix broken ServerGrove image on footer - Fix occasional link overlap - Delete .DS_Store file in bootstrap folder - Finish PR #3 "<ol/> styles fixed" (margin-bottom) - Fix <ol/> styles - Synchronize docs layout menu with main site. - Show versions only when having more than one. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

admin added the pull-request label 2026-01-23 11:26:07 +01:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: doctrine/common-documentation#21