##// END OF EJS Templates
paper: use monospace font for description
Adrian Buehlmann -
r13961:1708a0ca default
parent child Browse files
Show More
@@ -211,6 +211,7 b' div.description {'
211 margin: 1em 0 1em 0;
211 margin: 1em 0 1em 0;
212 padding: .3em;
212 padding: .3em;
213 white-space: pre;
213 white-space: pre;
214 font-family: monospace;
214 }
215 }
215
216
216 /* Graph */
217 /* Graph */
General Comments 0
You need to be logged in to leave comments. Login now