From fe6e3de4e8f79ad73a72368efb6fce3c2821458b Mon Sep 17 00:00:00 2001
From: Jorrit Schaap <schaap@astron.nl>
Date: Thu, 16 Jun 2016 11:58:38 +0000
Subject: [PATCH] Task #8887: font
---
.../ResourceAssignmentEditor/lib/static/css/main.css | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/SAS/ResourceAssignment/ResourceAssignmentEditor/lib/static/css/main.css b/SAS/ResourceAssignment/ResourceAssignmentEditor/lib/static/css/main.css
index ac3b5cd0789..8498165d1cc 100644
--- a/SAS/ResourceAssignment/ResourceAssignmentEditor/lib/static/css/main.css
+++ b/SAS/ResourceAssignment/ResourceAssignmentEditor/lib/static/css/main.css
@@ -1,5 +1,10 @@
/* $Id: app.js 32724 2015-10-28 13:24:49Z schaap $ */
+body {
+ font-family: DejaVu Sans Monospace;
+ font-size: 12px;
+}
+
.grid {
min-height: 400px;
min-width: 500px;
--
GitLab