Discussion section

Remove .edgemark, thanks! (This was a rendering experiment that I didn't
manage to look good.)

(I don't think it is what you were talking about, but .discussion-title is
used in titleline.)

Cheers!
- Benja

On Mon, Nov 10, 2014 at 8:45 PM, jinetic <notifications@github.com> wrote:

> In forum.arc:
>
> > @@ -496,6 +499,8 @@ a:visited { color:#555555; text-decoration:none; }
> >  .default     { font-family:Verdana; font-size:  13pt; color:#828282; }
> >  .admin       { font-family:Verdana; font-size:10.5pt; color:#000000; }
> >  .title       { font-family:Verdana; font-size:  16pt; color:#828282; font-weight:bold; }
> > +.discussion-title { font-family:Verdana; font-size:13pt; color:#828282; font-weight:bold; }
> > +.edgemark    { font-size: 13pt; font-style: italic; }
>
> Where is this used?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/machine-intelligence/research-forum/pull/58/files#r20131961>
> .
>