Hi Gaurav,
I've tried pasting that code in the common.css page but it didn't work
(comparing with the scheme page before and after). Could you try
yourself? I think/hope you only need to create a account to have
permission to edit.
Thanks,
Nil
On 07/18/2016 10:14 PM, Gaurav Gautam wrote:
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]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[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
<https://groups.google.com/d/msgid/opencog/29344464-bc7f-48f8-b1f4-8e72d0e86a0e%40googlegroups.com?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.
--
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/578F656A.9030207%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
