Skip to content

Commit 7544225

Browse files
authored
Merge pull request #3758 from ClickHouse/fontsize
Styling: fontsize
2 parents 6f3b1ef + 32bd50d commit 7544225

File tree

2 files changed

+8
-4
lines changed

2 files changed

+8
-4
lines changed

scripts/vale/vale_annotations.py

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
import json
44
import argparse
55
import sys
6+
import os
67

78
def process_data(data):
89
logs = []
@@ -49,8 +50,11 @@ def compare_log(git_filename, vale_log):
4950

5051
with open(args.git_log_file, 'r') as f:
5152
git_data = json.load(f)
52-
with open(args.vale_log_file, 'r') as f:
53-
vale_logs = process_data(f.read())
53+
54+
vale_logs = None
55+
if os.path.exists(args.vale_log_file):
56+
with open(args.vale_log_file, 'r') as f:
57+
vale_logs = process_data(f.read())
5458

5559
if vale_logs:
5660
for vale_log in vale_logs:

src/css/default.scss

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/* You can override the default Infima variables here. */
22
:root {
3-
--default-font: 16px;
4-
--default-line-height: 28px;
3+
--default-font: 14px;
4+
--default-line-height: 24px;
55

66
/* colors for right side table of contents */
77
--ifm-toc-link-color: var(--click-color-text-muted);

0 commit comments

Comments
 (0)