Hi Nil, I know all of you are busy with AGI16. Today is the last date for that isn't it? I'll just leave this here for anyone to take a look when they are free. Its not urgent, but I can't do it on my own because I don't have the right permissions.
To change the appearance of code snippets the MediaWiki:Common.css page needs to be edited (which I don't have permission to edit): http://wiki.opencog.org/wikihome/index.php?title=MediaWiki:Common.css The change required is just three lines and can be easily reverted, as explained here: https://www.mediawiki.org/wiki/Extension:SyntaxHighlight#Styling I think adding the following should work: .mw-highlight pre { border: 1px dashed blue;} Yours sincerely Gaurav Gautam On Monday, July 18, 2016 at 7:40:11 PM UTC+5:30, Nil wrote: > > Hi Gaurav, > > most opencogers are pretty busy these days, however any help toward > making the wiki page more readable is very much welcome. So if you think > you can improve it, by all means do it. You could do your changes for a > small section, and then send an email to ask the community what they > think of it, and if the community approves then apply the changes to all > the pages that you'd like. > > Thanks, > Nil > > On 07/18/2016 03:51 PM, Gaurav Gautam wrote: > > I am new to this, but I still think that a large fontsize will help. > Afterall, the code is often a part of the narrative of the chapter. > > > > In any case, could you at least enable the bounding box? There is no > reason to not have that. > > > -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/29344464-bc7f-48f8-b1f4-8e72d0e86a0e%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
