enya-agent 0.1.0

package/docs/themes/tanuki/static/js/scroll-to-top.js

@@ -0,0 +1,33 @@
+// Scroll to top button
+document.addEventListener("DOMContentLoaded", function () {
+  // Create button
+  const button = document.createElement("button");
+  button.id = "scroll-to-top";
+  button.setAttribute("aria-label", "Scroll to top");
+  button.innerHTML = `
+    <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round">
+      <path d="M12 19V5M5 12l7-7 7 7"/>
+    </svg>
+  `;
+  document.body.appendChild(button);
+
+  // Show/hide on scroll
+  let scrollTimeout;
+  window.addEventListener("scroll", function () {
+    clearTimeout(scrollTimeout);
+
+    if (window.scrollY > 400) {
+      button.classList.add("visible");
+    } else {
+      button.classList.remove("visible");
+    }
+  });
+
+  // Click handler
+  button.addEventListener("click", function () {
+    window.scrollTo({
+      top: 0,
+      behavior: "smooth"
+    });
+  });
+});

package/docs/themes/tanuki/static/js/search-raskell.js

@@ -0,0 +1,240 @@
+// =============================================================================
+// Search - Elasticlunr-powered with keyboard navigation
+// =============================================================================
+
+(function() {
+  'use strict';
+
+  let searchIndex = null;
+  let searchOverlay = null;
+  let searchInput = null;
+  let searchResults = null;
+  let selectedIndex = -1;
+
+  function initSearch() {
+    searchOverlay = document.querySelector('.search-overlay');
+    searchInput = document.querySelector('.search__input');
+    searchResults = document.querySelector('.search__results');
+
+    if (!searchOverlay || !searchInput) return;
+
+    setupListeners();
+
+    // Load search index
+    if (typeof window.searchIndex !== 'undefined' && typeof elasticlunr !== 'undefined') {
+      searchIndex = elasticlunr.Index.load(window.searchIndex);
+    }
+  }
+
+  function setupListeners() {
+    // Search toggle buttons
+    document.querySelectorAll('.search-toggle').forEach(btn => {
+      btn.addEventListener('click', openSearch);
+    });
+
+    // Close button
+    const closeBtn = document.querySelector('.search__close');
+    if (closeBtn) closeBtn.addEventListener('click', closeSearch);
+
+    // Overlay click to close
+    searchOverlay.addEventListener('click', (e) => {
+      if (e.target === searchOverlay) closeSearch();
+    });
+
+    // Keyboard shortcuts
+    document.addEventListener('keydown', (e) => {
+      // Open search with /
+      if (e.key === '/' && !isInputFocused()) {
+        e.preventDefault();
+        openSearch();
+      }
+
+      // Close with Escape
+      if (e.key === 'Escape' && searchOverlay.classList.contains('open')) {
+        closeSearch();
+      }
+    });
+
+    // Search input
+    searchInput.addEventListener('input', debounce(performSearch, 200));
+    searchInput.addEventListener('keydown', handleSearchKeydown);
+  }
+
+  function isInputFocused() {
+    const active = document.activeElement;
+    return active && (active.tagName === 'INPUT' || active.tagName === 'TEXTAREA' || active.isContentEditable);
+  }
+
+  function openSearch() {
+    // Close mobile menu if open
+    const mobileOverlay = document.getElementById('mobile-menu-overlay');
+    if (mobileOverlay && mobileOverlay.classList.contains('active')) {
+      mobileOverlay.classList.remove('active');
+      const menuButton = document.getElementById('mobile-menu-button');
+      if (menuButton) {
+        menuButton.setAttribute('aria-expanded', 'false');
+      }
+    }
+
+    searchOverlay.classList.add('open');
+    searchInput.focus();
+    document.body.style.overflow = 'hidden';
+  }
+
+  function closeSearch() {
+    searchOverlay.classList.remove('open');
+    searchInput.value = '';
+    searchResults.innerHTML = '';
+    selectedIndex = -1;
+    document.body.style.overflow = '';
+  }
+
+  function getCurrentVersionPrefix() {
+    const path = window.location.pathname;
+    const versionMatch = path.match(/^(\/docs)?\/v\/([^/]+)\//);
+    if (versionMatch) {
+      return `/v/${versionMatch[2]}/`;
+    }
+    return null;
+  }
+
+  function filterResultsByVersion(results) {
+    const versionPrefix = getCurrentVersionPrefix();
+
+    return results.filter(result => {
+      const doc = searchIndex.documentStore.getDoc(result.ref);
+      const docPath = new URL(doc.id, window.location.origin).pathname;
+
+      if (versionPrefix) {
+        // Viewing versioned docs: only show results from this version
+        return docPath.includes(versionPrefix);
+      } else {
+        // Viewing latest docs: exclude all versioned paths
+        return !docPath.match(/\/v\/[^/]+\//);
+      }
+    });
+  }
+
+  function performSearch() {
+    const query = searchInput.value.trim();
+
+    if (!query || !searchIndex) {
+      searchResults.innerHTML = '';
+      return;
+    }
+
+    const allResults = searchIndex.search(query, {
+      fields: {
+        title: { boost: 2 },
+        body: { boost: 1 }
+      },
+      expand: true
+    });
+
+    const results = filterResultsByVersion(allResults);
+
+    if (results.length === 0) {
+      searchResults.innerHTML = `
+        <div class="search__no-results">
+          No results found for "<strong>${escapeHtml(query)}</strong>"
+        </div>
+      `;
+      return;
+    }
+
+    searchResults.innerHTML = results.slice(0, 10).map((result, index) => {
+      const doc = searchIndex.documentStore.getDoc(result.ref);
+      const preview = getPreview(doc.body, query);
+
+      return `
+        <a href="${doc.id}" class="search__result" data-index="${index}" role="option">
+          <div class="search__result-title">${highlightMatch(doc.title, query)}</div>
+          <div class="search__result-path">${doc.id}</div>
+          ${preview ? `<div class="search__result-preview">${preview}</div>` : ''}
+        </a>
+      `;
+    }).join('');
+
+    selectedIndex = -1;
+  }
+
+  function handleSearchKeydown(e) {
+    const results = searchResults.querySelectorAll('.search__result');
+
+    if (e.key === 'ArrowDown') {
+      e.preventDefault();
+      selectedIndex = Math.min(selectedIndex + 1, results.length - 1);
+      updateSelection(results);
+    } else if (e.key === 'ArrowUp') {
+      e.preventDefault();
+      selectedIndex = Math.max(selectedIndex - 1, -1);
+      updateSelection(results);
+    } else if (e.key === 'Enter') {
+      e.preventDefault();
+      if (selectedIndex >= 0 && results[selectedIndex]) {
+        results[selectedIndex].click();
+      }
+    }
+  }
+
+  function updateSelection(results) {
+    results.forEach((result, index) => {
+      result.classList.toggle('selected', index === selectedIndex);
+      if (index === selectedIndex) {
+        result.scrollIntoView({ block: 'nearest' });
+      }
+    });
+  }
+
+  function getPreview(body, query) {
+    if (!body) return '';
+
+    const lowerBody = body.toLowerCase();
+    const lowerQuery = query.toLowerCase();
+    const index = lowerBody.indexOf(lowerQuery);
+
+    if (index === -1) return '';
+
+    const start = Math.max(0, index - 50);
+    const end = Math.min(body.length, index + query.length + 100);
+    let preview = body.slice(start, end);
+
+    if (start > 0) preview = '...' + preview;
+    if (end < body.length) preview = preview + '...';
+
+    return highlightMatch(preview, query);
+  }
+
+  function highlightMatch(text, query) {
+    if (!query) return escapeHtml(text);
+
+    const escaped = escapeHtml(text);
+    const regex = new RegExp(`(${escapeRegex(query)})`, 'gi');
+    return escaped.replace(regex, '<mark>$1</mark>');
+  }
+
+  function escapeHtml(text) {
+    const div = document.createElement('div');
+    div.textContent = text;
+    return div.innerHTML;
+  }
+
+  function escapeRegex(string) {
+    return string.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+  }
+
+  function debounce(func, wait) {
+    let timeout;
+    return function(...args) {
+      clearTimeout(timeout);
+      timeout = setTimeout(() => func.apply(this, args), wait);
+    };
+  }
+
+  // Initialize when DOM is ready
+  if (document.readyState === 'loading') {
+    document.addEventListener('DOMContentLoaded', initSearch);
+  } else {
+    initSearch();
+  }
+})();

package/docs/themes/tanuki/static/js/search.js

@@ -0,0 +1,215 @@
+// =============================================================================
+// Search - Tanuki Theme
+// Elasticlunr-powered search with keyboard navigation
+// =============================================================================
+
+(function() {
+  'use strict';
+
+  let searchIndex = null;
+  let searchOverlay = null;
+  let searchInput = null;
+  let searchResults = null;
+  let selectedIndex = -1;
+
+  // Initialize search
+  function initSearch() {
+    searchOverlay = document.querySelector('.search-overlay');
+    searchInput = document.querySelector('.search__input');
+    searchResults = document.querySelector('.search__results');
+
+    if (!searchOverlay || !searchInput) return;
+
+    // Set up event listeners first (so UI always works)
+    setupListeners();
+
+    // Load search index from window.searchIndex (set by search_index.en.js)
+    if (typeof window.searchIndex !== 'undefined' && typeof elasticlunr !== 'undefined') {
+      searchIndex = elasticlunr.Index.load(window.searchIndex);
+    } else {
+      console.warn('Search index or elasticlunr not available');
+    }
+  }
+
+  function setupListeners() {
+    // Search toggle buttons
+    document.querySelectorAll('.search-toggle').forEach(btn => {
+      btn.addEventListener('click', openSearch);
+    });
+
+    // Close button
+    document.querySelector('.search__close')?.addEventListener('click', closeSearch);
+
+    // Overlay click to close
+    searchOverlay.addEventListener('click', (e) => {
+      if (e.target === searchOverlay) closeSearch();
+    });
+
+    // Keyboard shortcuts
+    document.addEventListener('keydown', (e) => {
+      // Open search with /
+      if (e.key === '/' && !isInputFocused()) {
+        e.preventDefault();
+        openSearch();
+      }
+
+      // Close with Escape
+      if (e.key === 'Escape' && searchOverlay.classList.contains('open')) {
+        closeSearch();
+      }
+    });
+
+    // Search input
+    searchInput.addEventListener('input', debounce(performSearch, 200));
+    searchInput.addEventListener('keydown', handleSearchKeydown);
+  }
+
+  function isInputFocused() {
+    const active = document.activeElement;
+    return active && (active.tagName === 'INPUT' || active.tagName === 'TEXTAREA' || active.isContentEditable);
+  }
+
+  function openSearch() {
+    searchOverlay.classList.add('open');
+    document.body.style.overflow = 'hidden';
+    // Focus after transition completes
+    const onTransitionEnd = () => {
+      searchInput.focus();
+      searchOverlay.removeEventListener('transitionend', onTransitionEnd);
+    };
+    searchOverlay.addEventListener('transitionend', onTransitionEnd);
+    // Fallback in case transitionend doesn't fire
+    setTimeout(() => {
+      searchInput.focus();
+    }, 350);
+  }
+
+  function closeSearch() {
+    searchOverlay.classList.remove('open');
+    searchInput.value = '';
+    searchResults.innerHTML = '';
+    selectedIndex = -1;
+    document.body.style.overflow = '';
+  }
+
+  function performSearch() {
+    const query = searchInput.value.trim();
+
+    if (!query || !searchIndex) {
+      searchResults.innerHTML = '';
+      return;
+    }
+
+    const results = searchIndex.search(query, {
+      fields: {
+        title: { boost: 2 },
+        body: { boost: 1 }
+      },
+      expand: true
+    });
+
+    if (results.length === 0) {
+      searchResults.innerHTML = `
+        <div class="search__no-results">
+          No results found for "<strong>${escapeHtml(query)}</strong>"
+        </div>
+      `;
+      return;
+    }
+
+    searchResults.innerHTML = results.slice(0, 10).map((result, index) => {
+      const doc = searchIndex.documentStore.getDoc(result.ref);
+      const preview = getPreview(doc.body, query);
+
+      return `
+        <a href="${doc.id}" class="search__result" data-index="${index}" role="option">
+          <div class="search__result-title">${highlightMatch(doc.title, query)}</div>
+          <div class="search__result-path">${doc.id}</div>
+          ${preview ? `<div class="search__result-preview">${preview}</div>` : ''}
+        </a>
+      `;
+    }).join('');
+
+    selectedIndex = -1;
+  }
+
+  function handleSearchKeydown(e) {
+    const results = searchResults.querySelectorAll('.search__result');
+
+    if (e.key === 'ArrowDown') {
+      e.preventDefault();
+      selectedIndex = Math.min(selectedIndex + 1, results.length - 1);
+      updateSelection(results);
+    } else if (e.key === 'ArrowUp') {
+      e.preventDefault();
+      selectedIndex = Math.max(selectedIndex - 1, -1);
+      updateSelection(results);
+    } else if (e.key === 'Enter') {
+      e.preventDefault();
+      if (selectedIndex >= 0 && results[selectedIndex]) {
+        results[selectedIndex].click();
+      }
+    }
+  }
+
+  function updateSelection(results) {
+    results.forEach((result, index) => {
+      result.classList.toggle('selected', index === selectedIndex);
+      if (index === selectedIndex) {
+        result.scrollIntoView({ block: 'nearest' });
+      }
+    });
+  }
+
+  function getPreview(body, query) {
+    if (!body) return '';
+
+    const lowerBody = body.toLowerCase();
+    const lowerQuery = query.toLowerCase();
+    const index = lowerBody.indexOf(lowerQuery);
+
+    if (index === -1) return '';
+
+    const start = Math.max(0, index - 50);
+    const end = Math.min(body.length, index + query.length + 100);
+    let preview = body.slice(start, end);
+
+    if (start > 0) preview = '...' + preview;
+    if (end < body.length) preview = preview + '...';
+
+    return highlightMatch(preview, query);
+  }
+
+  function highlightMatch(text, query) {
+    if (!query) return escapeHtml(text);
+
+    const escaped = escapeHtml(text);
+    const regex = new RegExp(`(${escapeRegex(query)})`, 'gi');
+    return escaped.replace(regex, '<mark>$1</mark>');
+  }
+
+  function escapeHtml(text) {
+    const div = document.createElement('div');
+    div.textContent = text;
+    return div.innerHTML;
+  }
+
+  function escapeRegex(string) {
+    return string.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+  }
+
+  function debounce(func, wait) {
+    let timeout;
+    return function(...args) {
+      clearTimeout(timeout);
+      timeout = setTimeout(() => func.apply(this, args), wait);
+    };
+  }
+
+  // Initialize when DOM is ready
+  if (document.readyState === 'loading') {
+    document.addEventListener('DOMContentLoaded', initSearch);
+  } else {
+    initSearch();
+  }
+})();

package/docs/themes/tanuki/static/js/theme.js

@@ -0,0 +1,169 @@
+// =============================================================================
+// Theme Toggle - Tanuki Theme (タヌキ)
+// Nintendo-inspired whimsical interactions
+// =============================================================================
+
+(function() {
+  'use strict';
+
+  const STORAGE_KEY = 'tanuki-theme';
+  const THEMES = ['light', 'dark', 'auto'];
+
+  // Get stored theme or default to auto
+  function getStoredTheme() {
+    try {
+      return localStorage.getItem(STORAGE_KEY) || 'auto';
+    } catch (e) {
+      return 'auto';
+    }
+  }
+
+  // Get effective theme (resolves 'auto' to actual theme)
+  function getEffectiveTheme(stored) {
+    if (stored === 'auto') {
+      return window.matchMedia('(prefers-color-scheme: dark)').matches ? 'dark' : 'light';
+    }
+    return stored;
+  }
+
+  // Apply theme to document
+  function applyTheme(theme) {
+    const effective = getEffectiveTheme(theme);
+    document.documentElement.setAttribute('data-theme', effective);
+    document.documentElement.setAttribute('data-theme-setting', theme);
+  }
+
+  // Save theme preference
+  function saveTheme(theme) {
+    try {
+      localStorage.setItem(STORAGE_KEY, theme);
+    } catch (e) {
+      // Storage not available
+    }
+  }
+
+  // Cycle through themes
+  function cycleTheme() {
+    const current = getStoredTheme();
+    const currentIndex = THEMES.indexOf(current);
+    const nextIndex = (currentIndex + 1) % THEMES.length;
+    return THEMES[nextIndex];
+  }
+
+  // Create sparkle effect
+  function createSparkles(button) {
+    const rect = button.getBoundingClientRect();
+    const centerX = rect.left + rect.width / 2;
+    const centerY = rect.top + rect.height / 2;
+
+    for (let i = 0; i < 6; i++) {
+      const sparkle = document.createElement('div');
+      sparkle.className = 'theme-sparkle';
+
+      const angle = (i / 6) * Math.PI * 2;
+      const distance = 30 + Math.random() * 20;
+      const x = centerX + Math.cos(angle) * distance;
+      const y = centerY + Math.sin(angle) * distance;
+
+      sparkle.style.cssText = `
+        position: fixed;
+        left: ${x}px;
+        top: ${y}px;
+        width: 6px;
+        height: 6px;
+        background: var(--ctp-yellow);
+        border-radius: 50%;
+        pointer-events: none;
+        z-index: 10000;
+        animation: sparkle-fly 0.6s ease-out forwards;
+      `;
+
+      document.body.appendChild(sparkle);
+
+      setTimeout(() => sparkle.remove(), 600);
+    }
+  }
+
+  // Add sparkle animation
+  function addSparkleStyles() {
+    if (document.getElementById('tanuki-sparkle-styles')) return;
+
+    const style = document.createElement('style');
+    style.id = 'tanuki-sparkle-styles';
+    style.textContent = `
+      @keyframes sparkle-fly {
+        0% {
+          transform: scale(1);
+          opacity: 1;
+        }
+        100% {
+          transform: scale(0) translateY(-20px);
+          opacity: 0;
+        }
+      }
+    `;
+    document.head.appendChild(style);
+  }
+
+  // Initialize theme toggle
+  function initThemeToggle() {
+    addSparkleStyles();
+
+    // Apply initial theme immediately
+    const stored = getStoredTheme();
+    applyTheme(stored);
+
+    // Set up toggle buttons
+    document.querySelectorAll('.theme-toggle').forEach(button => {
+      button.addEventListener('click', (e) => {
+        e.preventDefault();
+
+        // Cycle to next theme
+        const newTheme = cycleTheme();
+        saveTheme(newTheme);
+        applyTheme(newTheme);
+
+        // Add animation class
+        button.classList.add('animating');
+        setTimeout(() => button.classList.remove('animating'), 500);
+
+        // Create sparkles for fun
+        createSparkles(button);
+
+        // Announce to screen readers
+        const effective = getEffectiveTheme(newTheme);
+        const announcement = `Theme changed to ${newTheme === 'auto' ? 'auto (' + effective + ')' : effective}`;
+        announceToScreenReader(announcement);
+      });
+    });
+
+    // Listen for system theme changes
+    window.matchMedia('(prefers-color-scheme: dark)').addEventListener('change', () => {
+      const stored = getStoredTheme();
+      if (stored === 'auto') {
+        applyTheme('auto');
+      }
+    });
+  }
+
+  // Screen reader announcement
+  function announceToScreenReader(message) {
+    const announcement = document.createElement('div');
+    announcement.setAttribute('role', 'status');
+    announcement.setAttribute('aria-live', 'polite');
+    announcement.className = 'sr-only';
+    announcement.textContent = message;
+    document.body.appendChild(announcement);
+    setTimeout(() => announcement.remove(), 1000);
+  }
+
+  // Initialize when DOM is ready
+  if (document.readyState === 'loading') {
+    document.addEventListener('DOMContentLoaded', initThemeToggle);
+  } else {
+    initThemeToggle();
+  }
+
+  // Apply theme immediately (before DOM ready) to prevent flash
+  applyTheme(getStoredTheme());
+})();