[docs] add COSMO and Clarabel to the documentation

docs/.vale.ini

@@ -9,3 +9,7 @@ TokenIgnores =          \
     \$.+?\$,            \
     \]\(@(ref|id).+?\), \
     AMPL: A Modeling Language for Mathematical Programming
+
+; TODO(odow): remove at some point
+[docs/src/packages/Clarabel.md]
+Google.Latin = NO

docs/make.jl

@@ -124,7 +124,23 @@ for (solver, data) in TOML.parsefile(joinpath(@__DIR__, "packages.toml"))
         lines = readlines(out_filename)
         open(out_filename, "w") do io
             closing_tag = nothing
+            math_open = false
             for line in lines
+                line = replace(
+                    line,
+                    "#gh-light-mode-only\"" => "\" class=\"display-light-only\"",
+                )
+                line = replace(
+                    line,
+                    "#gh-dark-mode-only\"" => "\" class=\"display-dark-only\"",
+                )
+                for ext in ("svg", "png", "gif")
+                    line = replace(line, ".$ext\"" => ".$ext?raw=true\"")
+                end
+                if line == "\$\$"
+                    line = math_open ? "```" : "```math"
+                    math_open = !math_open
+                end
                 tag = if startswith(line, "<img")
                     "/>"
                 else

docs/packages.toml

@@ -105,15 +105,17 @@
 [CDDLib]
     user = "JuliaPolyhedra"
     rev = "9700752f849845bc8d8477928baf3df920daadd6"
-# [Clarabel]
-#   user = "oxfordcontrol"
-#   has_html = true
+[Clarabel]
+    user = "oxfordcontrol"
+    rev = "v0.5.0"
+    has_html = true
 [COPT]
     user = "COPT-Public"
     rev = "2d93e079645eff773552bb5da44c3024450fe990"
-# [COSMO]
-#   user = "oxfordcontrol"
-#   has_html = true
+[COSMO]
+    user = "oxfordcontrol"
+    rev = "c95bf89f111a83f52febf326615a091ad0418f00"
+    has_html = true
 [DAQP]
     user = "darnstrom"
     rev = "70623ed816916a0f3c3a51b65b166efae364b98d"

docs/styles/Vocab/JuMP-Vocab/accept.txt

@@ -14,6 +14,7 @@ compat
 dataframe(?s)
 datastructure
 destructuring
+dev
 discretized
 docstring(?s)
 doctest(?s)
@@ -76,7 +77,9 @@ Relatedly
 rhs
 satisfiability
 scalarization(?s)
+SDP(?s)
 [Ss]emi(continuous|integer|definite)
+SOCP(?s)
 subgradient
 subproblem(?s)
 subtour(?s)
@@ -99,6 +102,9 @@ CDDLib
 Clarabel
 Clp
 CPLEXLink
+COSMO
+COSMOAccelerators
+cosmo
 Couenne
 Divio
 Dualization