Fix some docstrings (#1814)

* Fix broken indentation in docstrings

* Attach docstrings to `ZZ` and `QQ`

src/calcium/CalciumTypes.jl

@@ -60,8 +60,8 @@ end
 ################################################################################
 
 qqbar_field_doc = raw"""
-QQBarField <: Field
-QQBarFieldElem <: FieldElem
+    QQBarField <: Field
+    QQBarFieldElem <: FieldElem
 
 The algebraic closure $\overline{\mathbb Q}$ of the rationals $\mathbb Q$ and
 its elements. This is a singleton type, meaning that there is a unique global

src/flint/FlintTypes.jl

@@ -13,8 +13,8 @@ const _err_dim_negative = ErrorException("Dimensions must be non-negative")
 ###############################################################################
 
 zz_ring_doc = raw"""
-ZZRing <: Ring
-ZZRingElem <: RingElem
+    ZZRing <: Ring
+    ZZRingElem <: RingElem
 
 The ring of integers $\mathbb Z$ and its elements.
 For convenience, we predefine the global variable `const ZZ = ZZRing()`,
@@ -35,6 +35,7 @@ julia> ZZ(2)^100
 struct ZZRing <: Ring
 end
 
+@doc zz_ring_doc
 const ZZ = ZZRing()
 
 integer_ring() = ZZRing()
@@ -142,8 +143,8 @@ end
 ###############################################################################
 
 qq_field_doc = raw"""
-QQField <: FracField{ZZRingElem}
-QQFieldElem <: FracFieldElem{ZZRingElem}
+    QQField <: FracField{ZZRingElem}
+    QQFieldElem <: FracFieldElem{ZZRingElem}
 
 The field of rationals $\mathbb Q$ and its elements.
 For convenience, we predefine the global variable `const QQ = QQField()`.
@@ -163,6 +164,7 @@ julia> QQ(1//6) - QQ(1//7)
 struct QQField <: FracField{ZZRingElem}
 end
 
+@doc qq_field_doc
 const QQ = QQField()
 
 rational_field() = QQ

src/flint/fmpz_mod_mat.jl

@@ -675,7 +675,7 @@ end
 #= Not implemented in Flint yet
 
 @doc raw"""
-lift(a::T) where {T <: Zmod_fmpz_mat}
+    lift(a::T) where {T <: Zmod_fmpz_mat}
 
 Return a lift of the matrix $a$ to a matrix over $\mathbb{Z}$, i.e. where the
 entries of the returned matrix are those of $a$ lifted to $\mathbb{Z}$.