##// 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 211 margin: 1em 0 1em 0;
212 212 padding: .3em;
213 213 white-space: pre;
214 font-family: monospace;
214 215 }
215 216
216 217 /* Graph */
General Comments 0
You need to be logged in to leave comments. Login now