        .user-play-section {
            background: linear-gradient(to bottom, #2c3e50, #34495e);
            border-radius: 12px;
            padding: 30px 20px;
            margin-bottom: 30px;
            border: 3px solid #1a252f;
            box-shadow: 0 8px 24px rgba(0,0,0,0.3);
        }

        .user-play-section h3 {
            color: #ffd700;
            text-shadow: 0 2px 4px rgba(0,0,0,0.5), 0 0 20px rgba(255,215,0,0.3);
            font-size: 24px;
            letter-spacing: 1px;
        }

        .arms-container {
            display: flex;
            justify-content: space-around;
            gap: 30px;
            margin: 30px 0;
            flex-wrap: wrap;
        }

        /* Slot Machine Container */
        .slot-machine {
            flex: 1;
            min-width: 220px;
            max-width: 280px;
            text-align: center;
            position: relative;
        }

        /* Machine Top Section with Lights */
        .machine-top {
            background: linear-gradient(to bottom, #ffd700, #ffed4e, #ffd700);
            border: 3px solid #b8860b;
            border-radius: 20px 20px 0 0;
            padding: 10px;
            box-shadow: inset 0 2px 10px rgba(255,255,255,0.4), 0 4px 8px rgba(0,0,0,0.3);
            position: relative;
        }

        .machine-lights {
            display: flex;
            justify-content: center;
            gap: 12px;
            margin-bottom: 8px;
        }

        .light {
            width: 12px;
            height: 12px;
            border-radius: 50%;
            background: radial-gradient(circle at 30% 30%, #ff6b6b, #c92a2a);
            box-shadow: 0 0 8px rgba(255,107,107,0.8), inset 0 -2px 4px rgba(0,0,0,0.3);
            animation: blink 2s infinite;
        }

        .light:nth-child(2) {
            animation-delay: 0.66s;
        }

        .light:nth-child(3) {
            animation-delay: 1.33s;
        }

        @keyframes blink {
            0%, 100% { opacity: 1; }
            50% { opacity: 0.3; }
        }

        .machine-label {
            margin: 0;
            color: #8b4513;
            font-size: 18px;
            font-weight: bold;
            text-shadow: 0 1px 2px rgba(255,255,255,0.5);
        }

        /* Machine Body */
        .machine-body {
            background: linear-gradient(135deg, #7f8c8d 0%, #95a5a6 50%, #7f8c8d 100%);
            border: 4px solid #34495e;
            border-top: none;
            border-radius: 0 0 20px 20px;
            padding: 20px 15px;
            box-shadow:
                inset 0 4px 12px rgba(0,0,0,0.3),
                inset 0 -4px 12px rgba(255,255,255,0.1),
                0 8px 16px rgba(0,0,0,0.4);
            position: relative;
        }

        /* Color variants for each machine */
        .slot-machine-1 .machine-body {
            background: linear-gradient(135deg, #c0392b 0%, #e74c3c 50%, #c0392b 100%);
        }

        .slot-machine-2 .machine-body {
            background: linear-gradient(135deg, #2980b9 0%, #3498db 50%, #2980b9 100%);
        }

        .slot-machine-3 .machine-body {
            background: linear-gradient(135deg, #27ae60 0%, #2ecc71 50%, #27ae60 100%);
        }

        /* Display Window */
        .display-window {
            background: linear-gradient(to bottom, #1a1a1a, #2d2d2d);
            border: 4px solid #000;
            border-radius: 8px;
            padding: 15px 10px;
            margin-bottom: 20px;
            box-shadow:
                inset 0 4px 12px rgba(0,0,0,0.8),
                0 2px 8px rgba(0,0,0,0.5);
            position: relative;
        }

        .display-window::before {
            content: '';
            position: absolute;
            top: 0;
            left: 0;
            right: 0;
            bottom: 0;
            background: linear-gradient(to bottom, rgba(255,255,255,0.1), transparent);
            border-radius: 4px;
            pointer-events: none;
        }

        .stats-display {
            position: relative;
            z-index: 1;
        }

        .stat-row {
            display: flex;
            justify-content: space-between;
            margin: 8px 0;
            font-size: 14px;
            color: #00ff00;
            font-family: 'Courier New', monospace;
            text-shadow: 0 0 8px rgba(0,255,0,0.6);
        }

        .stat-row.stat-highlight {
            font-size: 16px;
            font-weight: bold;
            color: #ffd700;
            text-shadow: 0 0 10px rgba(255,215,0,0.8);
            margin-top: 12px;
            padding-top: 8px;
            border-top: 1px solid rgba(255,215,0,0.3);
        }

        .stat-label {
            font-weight: bold;
        }

        .stat-value {
            font-weight: bold;
        }

        /* Lever Button */
        .lever-button {
            width: 80%;
            height: 70px;
            margin: 0 auto;
            display: block;
            position: relative;
            background: linear-gradient(to bottom, #ffd700, #ffb700);
            border: 4px solid #b8860b;
            border-radius: 50px;
            cursor: pointer;
            transition: all 0.15s ease;
            box-shadow:
                0 6px 0 #8b6914,
                0 8px 16px rgba(0,0,0,0.4);
        }

        .lever-handle {
            position: relative;
            z-index: 2;
            display: block;
            line-height: 70px;
            color: #1a1a1a;
            font-weight: bold;
            font-size: 18px;
            text-shadow: 0 1px 2px rgba(255,255,255,0.3);
            letter-spacing: 2px;
        }

        .lever-button:hover {
            transform: translateY(-3px);
            box-shadow:
                0 8px 0 #8b6914,
                0 10px 20px rgba(0,0,0,0.5);
        }

        .lever-button:active {
            transform: translateY(4px);
            box-shadow:
                0 2px 0 #8b6914,
                0 4px 8px rgba(0,0,0,0.3);
        }

        .lever-button:disabled {
            opacity: 0.5;
            cursor: not-allowed;
            transform: translateY(0);
            box-shadow:
                0 6px 0 #8b6914,
                0 8px 16px rgba(0,0,0,0.4);
        }

        .lever-button:disabled:hover {
            transform: translateY(0);
        }

        /* Responsive Design */
        @media (max-width: 768px) {
            .arms-container {
                flex-direction: column;
                align-items: center;
            }

            .slot-machine {
                max-width: 100%;
                width: 100%;
            }

            .user-play-section h3 {
                font-size: 20px;
            }
        }

        /* Total Rewards Section */
        .user-play-section > div[style*="text-align: center"] {
            background: rgba(0,0,0,0.3);
            padding: 20px;
            border-radius: 8px;
            margin-top: 20px;
        }

        .user-play-section p {
            color: white;
            font-size: 16px;
            margin: 10px 0;
        }

        #total-rewards {
            font-size: 24px !important;
            text-shadow: 0 0 15px currentColor;
        }

        #total-pulls {
            color: #ffd700;
            font-weight: bold;
            font-family: monospace;
        }

        /* Reset Game Button */
        .reset-game-button {
            background: linear-gradient(to bottom, #95a5a6, #7f8c8d);
            color: white;
            border: 3px solid #34495e;
            border-radius: 8px;
            padding: 12px 32px;
            font-size: 16px;
            font-weight: bold;
            cursor: pointer;
            text-transform: uppercase;
            letter-spacing: 1px;
            box-shadow: 0 4px 0 #5a6469, 0 6px 12px rgba(0,0,0,0.3);
            transition: all 0.15s ease;
            margin-top: 15px;
        }

        .reset-game-button:hover {
            transform: translateY(-2px);
            box-shadow: 0 6px 0 #5a6469, 0 8px 16px rgba(0,0,0,0.4);
        }

        .reset-game-button:active {
            transform: translateY(2px);
            box-shadow: 0 2px 0 #5a6469, 0 4px 8px rgba(0,0,0,0.2);
        }

        .demo-area {
            background: white;
            border-radius: 0;
            padding: 20px;
            border: 2px solid #dee2e6;
        }

        .demo-controls {
            text-align: center;
            display: block;
            width: 100%;
        }

        .demo-controls h3,
        .demo-controls p {
            text-align: center;
        }

        .demo-controls .results-container {
            text-align: initial;
            margin-top: 20px;
            display: flex !important;
        }

        .demo-button {
            margin: 10px;
            padding: 12px 24px;
            font-size: 16px;
            font-weight: bold;
            border: none;
            border-radius: 0;
            cursor: pointer;
            transition: all 0.2s ease;
        }

        .explore-btn {
            background: linear-gradient(135deg, #f39c12, #e67e22);
            color: white;
        }

        .trained-btn {
            background: linear-gradient(135deg, #9b59b6, #8e44ad);
            color: white;
        }

        .reveal-btn {
            background: linear-gradient(135deg, #34495e, #2c3e50);
            color: white;
        }

        .demo-button:hover {
            transform: translateY(-2px);
            box-shadow: 0 4px 8px rgba(0,0,0,0.2);
        }

        .demo-button:disabled {
            opacity: 0.6;
            cursor: not-allowed;
            transform: none;
        }

        .results-container {
            display: flex;
            justify-content: space-around;
            gap: 20px;
            margin: 30px 0;
            flex-wrap: wrap;
        }

        @media (max-width: 768px) {
            .results-container {
                flex-direction: column;
            }
        }

        .result-panel {
            flex: 1;
            min-width: 300px;
            background: white;
            border-radius: 0;
            padding: 20px;
            border: 2px solid #dee2e6;
            box-sizing: border-box;
        }

        .result-panel h4 {
            margin-top: 0;
            color: #495057;
        }

        .algorithm-display {
            font-family: monospace;
            background: #f8f9fa;
            padding: 15px;
            border-radius: 0;
            margin: 10px 0;
            width: 100%;
            box-sizing: border-box;
            text-align: left;
            line-height: 1.4;
            flex: 1;
            display: block;
        }

        .progress-bar {
            width: 100%;
            height: 20px;
            background: #e9ecef;
            border-radius: 0;
            overflow: hidden;
            margin: 10px 0;
        }

        .progress-fill {
            height: 100%;
            background: linear-gradient(90deg, #007bff, #0056b3);
            transition: width 0.3s ease;
        }

        .hidden { display: none; }

        /* Leaderboard Styles */
        .leaderboard-panel {
            padding: 20px;
            background: rgba(0,0,0,0.3);
            border: 2px solid #ffd700;
            border-radius: 8px;
            width: 500px;
            max-width: 100%;
        }

        .panel-title {
            font-size: 18px;
            font-weight: bold;
            margin-bottom: 15px;
            text-align: center;
            color: #ffd700;
            text-shadow: 0 0 10px rgba(255,215,0,0.5);
        }

        .leaderboard-status {
            display: flex;
            align-items: center;
            gap: 8px;
            margin-bottom: 12px;
            font-size: 14px;
            color: white;
        }

        .status-indicator {
            width: 8px;
            height: 8px;
            border-radius: 50%;
            background: #e74c3c;
            transition: background-color 0.3s ease;
        }

        .status-indicator.connected {
            background: #27ae60;
        }

        .status-indicator.connecting {
            background: #f39c12;
            animation: pulse 1.5s infinite;
        }

        @keyframes pulse {
            0%, 100% { opacity: 1; }
            50% { opacity: 0.5; }
        }

        .your-position {
            background: rgba(255, 215, 0, 0.2);
            border: 1px solid #ffd700;
            border-radius: 4px;
            padding: 10px;
            margin-bottom: 12px;
            font-weight: 600;
            color: #ffd700;
            text-align: center;
            display: none;
        }

        .leaderboard-list {
            max-height: 250px;
            overflow-y: auto;
            margin-bottom: 12px;
        }

        .leaderboard-entry {
            display: flex;
            justify-content: space-between;
            align-items: center;
            padding: 8px 12px;
            border-radius: 4px;
            margin-bottom: 4px;
            background: rgba(255,255,255,0.1);
            border: 1px solid rgba(255,255,255,0.2);
            font-size: 13px;
            color: white;
        }

        .leaderboard-entry.highlight {
            background: rgba(255, 215, 0, 0.3);
            border-color: #ffd700;
            font-weight: 600;
        }

        .leaderboard-rank {
            font-weight: 600;
            color: #ffd700;
            min-width: 30px;
        }

        .leaderboard-user {
            flex: 1;
            margin: 0 8px;
            color: white;
        }

        .leaderboard-scores {
            text-align: right;
            font-size: 12px;
            color: #00ff00;
            font-family: monospace;
        }

        .empty-leaderboard {
            text-align: center;
            color: rgba(255,255,255,0.6);
            font-style: italic;
            padding: 20px;
        }

        .leaderboard-separator {
            text-align: center;
            color: rgba(255,255,255,0.5);
            font-size: 18px;
            font-weight: bold;
            padding: 8px;
            margin: 4px 0;
        }