@@ -40,6 +40,22 @@ class ToM_ui{
4040 static final String myPaneName = ' myContentPanel'
4141 static final String myButtonPanelName = ' aButtonPane'
4242 static final String myNextPanelName = ' nextPane'
43+ static final String htmlStyle =
44+ """
45+ table {border: 0; border-spacing: 0;}
46+ th, td {border: 1px solid;}
47+ pre {
48+ background-color: rgb(230, 230, 230);
49+ border: 1px solid rgb(0, 0, 0);
50+ display: block;
51+ padding: 10px;
52+ }
53+ code {
54+ font-family: Consolas,"courier new";
55+ color: rgb(0, 80, 0);
56+ }
57+ """
58+
4359
4460 static SwingBuilder swing = new SwingBuilder ()
4561
@@ -95,20 +111,7 @@ class ToM_ui{
95111 case ' markdown' :
96112 // html = "<html> ${Marked.marked(nodo.note.plain)} </html>"
97113 html = """ <html>
98- <style>
99- table {border: 0; border-spacing: 0;}
100- th, td {border: 1px solid;}
101- pre {
102- background-color: rgb(230, 230, 230);
103- border: 1px solid rgb(0, 0, 0);
104- display: block;
105- padding: 10px;
106- }
107- code {
108- font-family: Consolas,"courier new";
109- color: rgb(0, 80, 0);
110- }
111- </style>
114+ <style>${ htmlStyle} </style>
112115 <body>
113116 ${ Marked.marked(nodo.note.plain)}
114117 </body>
0 commit comments