From bab579cf9d25edf36599c85af2992e7d6f313b53 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 21 Aug 2014 15:28:30 +0200 Subject: [PATCH] ltl2tgba.html: Separate the ltl3ba tabs from the others. Suggested by Joachim Klein. * wrap/python/ajax/ltl2tgba.html: Name the tab. * wrap/python/ajax/css/ltl2tgba.css: Give it some space. --- wrap/python/ajax/css/ltl2tgba.css | 4 ++++ wrap/python/ajax/ltl2tgba.html | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/wrap/python/ajax/css/ltl2tgba.css b/wrap/python/ajax/css/ltl2tgba.css index 28b3038b2..ad6842488 100644 --- a/wrap/python/ajax/css/ltl2tgba.css +++ b/wrap/python/ajax/css/ltl2tgba.css @@ -130,3 +130,7 @@ table.ltltable white-space: pre; font-size: 1.1em; } + +#ltl3ba-tab { + margin-left: 1em; +} diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html index 231e612ec..b45da7da5 100644 --- a/wrap/python/ajax/ltl2tgba.html +++ b/wrap/python/ajax/ltl2tgba.html @@ -571,8 +571,8 @@ an identifier: aUb is an atomic proposition, unlike
  • Couvreur/FM
  • Couvreur/LaCIM
  • Tauriainen/TAA
    • -
  • LTL3BA
  • Comp.Susp.
    • +
  • LTL3BA
  • Fold