commit dde11d612e583b3e2fa7a1205c94018280ccbb3f
author Philipp Wollermann <philwo@google.com> Fri Oct 02 04:57:36 2020 -0700
committer Copybara-Service <copybara-worker@google.com> Fri Oct 02 04:58:38 2020 -0700
tree fe4eb9f133ee4947fb9be69478059a23cf305d22
parent 7598bc6bdf74b21cc75d7475cf5ad04a6c3bdcea

Fix broken docs build due to non-ASCII character

Seen in GCB:

```
Step #2:   Conversion error: Jekyll::Converters::Scss encountered an error while converting 'css/main.scss':
Step #2:                     Invalid US-ASCII character "\xC2" on line 68
Step #2: jekyll 3.8.7 | Error:  Invalid US-ASCII character "\xC2" on line 68
```

This should fix it.

Closes #12187.

PiperOrigin-RevId: 335005755

site/_sass/be.scss

diff --git a/site/_sass/be.scss b/site/_sass/be.scss
index aa927af..eaf5cfb 100644
--- a/site/_sass/be.scss
+++ b/site/_sass/be.scss
@@ -1,3 +1,5 @@
+@charset "utf-8";
+
 // Build Encyclopedia and Starlark Library
 
 pre.rule-signature {
@@ -65,7 +67,7 @@
 }
 
 ul.hlist li:after {
-  content: " · ";
+  content: ' · ';
   margin: 0 1ex;
   font-weight: bold;
 }
@@ -104,7 +106,7 @@
 
 // Command-line Reference
 dt {
-  margin-top: .5em;
+  margin-top: 0.5em;
 }
 
 dd {