Remove Bootstrap 3 code from IDE page components (#23061)

GitOrigin-RevId: b41aff10672bf96e892de0be396a69eb25e2443b
2026-11-14 22:23:42 +01:00 · 2025-03-07 09:05:45 +00:00
parent a062ec2dd9
commit 2147f1d53d
228 changed files with 1253 additions and 3939 deletions
@@ -61,7 +61,6 @@ export function Alerts() {
              id="synctex-more-info-button"
              variant="secondary"
              size="sm"
-              bs3Props={{ className: 'alert-link-as-btn pull-right' }}
            >
              {t('more_info')}
            </OLButton>
@@ -40,7 +40,6 @@ export function LostConnectionAlert({
          onClick={() => tryReconnectNow()}
          size="sm"
          variant="secondary"
-          bs3Props={{ className: 'pull-right' }}
        >
          {t('try_now')}
        </OLButton>