sepoto on "WordPress style tags in header. Casper Theme."

<style type="text/css">
					.blog-title a, .blog-description, .social-icons a { color: #ffffff; }

                                            </style>
    	<style type="text/css">.recentcomments a{display:inline !important;padding:0 !important;margin:0 !important;}</style>
<style type="text/css" media="print">#wpadminbar { display:none; }</style>
<style type="text/css" media="screen">
	html { margin-top: 32px !important; }
	* html body { margin-top: 32px !important; }
	@media screen and ( max-width: 782px ) {
		html { margin-top: 46px !important; }
		* html body { margin-top: 46px !important; }
	}
</style>

So when I view source in Google Chrome I have this code showing up. I am aware at this point that there is a function wp_head that can be hooked by the theme. Starting with "html { margin-top: 32px" I did a search of all text files and came up with a list of possible places where margin-top was declared to be 32px; Did a search in all these documents:

C:\Users\Eric\Desktop\casper-masterecs\css\rtl.css
C:\Users\Eric\Desktop\casper-masterecs\src\less\normalize.cs
C:\Users\Eric\Desktop\casper-masterecs\src\less\rtl.less
C:\Users\Eric\Desktop\casper-masterecs\src\less\style.less

for the string "margin-top: 32px". My text editor did not find in any of those files "margin-top: 32px". I am curious then where it is declared to be the html { margin-top: 32px so I can change it? How can this setting be modified?

Thank You!