feat: show publication card on master's degree hover (ISSTA 2021)

2026-09-02 11:56:08 -07:00
parent 2defd4d074
commit 0a599ee9b3
2 changed files with 56 additions and 2 deletions
@@ -207,6 +207,26 @@ export default function Header() {
                    <h3 className="font-semibold text-gray-900 dark:text-white">{t.header.educationDetails.master.school}</h3>
                    <p className="text-sm text-gray-600 dark:text-gray-400 mt-1">{t.header.educationDetails.master.degree}</p>
                    <p className="text-xs text-gray-500 dark:text-gray-500 mt-2">{t.header.educationDetails.master.period}</p>
+                    {(t.header.educationDetails.master as { publication?: { title: string; venue: string; url: string } }).publication && (
+                      <a
+                        href={(t.header.educationDetails.master as { publication: { url: string } }).publication.url}
+                        target="_blank"
+                        rel="noopener noreferrer"
+                        className="mt-3 block p-3 rounded-lg border border-blue-200 dark:border-blue-800 bg-blue-50 dark:bg-blue-950 hover:border-blue-400 dark:hover:border-blue-600 transition-colors"
+                      >
+                        <div className="flex items-start gap-2">
+                          <span className="text-blue-500 mt-0.5">📄</span>
+                          <div>
+                            <p className="text-xs font-semibold text-blue-700 dark:text-blue-300">
+                              {(t.header.educationDetails.master as { publication: { title: string } }).publication.title}
+                            </p>
+                            <p className="text-xs text-blue-500 dark:text-blue-400 mt-1">
+                              {(t.header.educationDetails.master as { publication: { venue: string } }).publication.venue} →
+                            </p>
+                          </div>
+                        </div>
+                      </a>
+                    )}
                  </div>
                </div>
              )}