diff --git a/TeXmacs/styles/documentation/texmacs/tmdoc.ts b/TeXmacs/styles/documentation/texmacs/tmdoc.ts
index 7f44a6c92a..d254f03e69 100644
--- a/TeXmacs/styles/documentation/texmacs/tmdoc.ts
+++ b/TeXmacs/styles/documentation/texmacs/tmdoc.ts
@@ -108,7 +108,7 @@
 
   <assign|tt-prog-font|<macro|x|<tt-font-base|<arg|x>>>>
 
-  <assign|tt-session-font|<macro|x|<with|font|typewriter=roman,pagella|<arg|x>>>>
+  <assign|tt-session-font|<macro|x|<with|font|typewriter=CMU,roman|<arg|x>>>>
 
   \;
 
diff --git a/TeXmacs/styles/documentation/texmacs/tmmanual.ts b/TeXmacs/styles/documentation/texmacs/tmmanual.ts
index b8f826daae..2495344315 100644
--- a/TeXmacs/styles/documentation/texmacs/tmmanual.ts
+++ b/TeXmacs/styles/documentation/texmacs/tmmanual.ts
@@ -120,7 +120,7 @@
 
   <assign|tt-prog-font|<macro|x|<tt-font-base|<arg|x>>>>
 
-  <assign|tt-session-font|<macro|x|<with|font|typewriter=roman,pagella|<arg|x>>>>
+  <assign|tt-session-font|<macro|x|<with|font|typewriter=CMU,roman|<arg|x>>>>
 
   \;