Inconsistent indentation between `Inductive` and `Variant`

Hello,

`Inductive` and `Variant` are not indented the same, as demonstrated by the following example:

```rocq
Inductive three: Type :=
| One
| Two
| Three
.

Variant three': Type :=
  | One'
  | Two'
  | Three'
.
```
I believe the expected behaviour is that`Variant` should be indented like `Inductive`.

I'm on PG's last commit with Emacs 30.2. 

Thanks!