How can I make the font size for the following 4 elements:

"5 comments to (Article Name)" (the lead-in to the comment section)

"Leave a Reply"

"Logged in as Derek Beck. Logout"

"You can use these HTML tags"

thanks, Derek

"5 comments to (Article Name)" (the lead-in to the comment section)

"Leave a Reply"

are part of the page/post footer so it can be styled at ato->Style POSTS & PAGES->FOOTER: xxxxx

the Comment Form text can be styled at ato->Style & configure COMMENTS->Comment Form Style

page/post footer so it can be styled at ato->Style POSTS & PAGES->FOOTER: xxxxx

That's only affecting the stuff like category and tags at the end of the post, not the leader for the comment section.

Comment Form text can be styled at ato->Style & configure COMMENTS->Comment Form Style

That worked for me. I used style:

font-size: 0.8em;

But how to get that title for the comments section to change to a smaller font, the "5 comments to (Article Name)"?

Thanks,
Derek

what's the url showing the issue?

Here's an example:

http://www.derekbeck.com/1775/info/why-1775/

Add the following to ATO > HTML/CSS Insert

h3#comments{
font-size: 0.8em;
}

I think this should solve your problem

that's perfect...

I also found my "Leave a Reply" was not shrunk down with the above comment code

font-size: 0.8em;

placed in ato->Style & configure COMMENTS->Comment Form Style

in IE only, though it was shrunk down in Google Chrome and probaby others.

I fixed with this in ATO> CSS inserts

h3.reply { /*comments reply line */
	font-size: 1.3em !important;
}

last question on my comments (I hope):

Any ideas why

Name (required)
Mail (will not be published) (required)
Website

is not inheriting the font family for the page? It looks like Arial, at least in Chrome. And I inspected it in Chrome, and that style is crossed out there...

apparently, there's some style calling for label to go back to arial buried somewhere...

fixed it with

form#commentform label {
	font-family: Georgia, 'Palatino Linotype', 'Book Antiqua', Palatino, 'Times New Roman', 'Times', serif !important;
}

but... any ideas what's causing it to go back to arial, so I can get rid of that? (vs. styling it to arial and styling back to my theme's font?)

there is a hard coded reference in CSS.php for label

label {
	margin-right: 0.5em; 
	font-family: arial;
	cursor: pointer; 
	}

You should be able to add this to CSS Inserts with what ever font you want to override it.

ah, thanks for pointing me to where it's hardcoded, juggledad.