diff options
author | Igor Dysko <igor1.dysko@orange.com> | 2021-02-03 16:57:59 +0100 |
---|---|---|
committer | Igor Dysko <igor1.dysko@orange.com> | 2021-02-03 16:57:59 +0100 |
commit | ea00a3c641dccea2942b215019c3e9ee2b9e17fe (patch) | |
tree | 700f0364748327ffc69e508ed726573e1bc37ac4 /graphgraph-fe/src/graph_settings.css | |
parent | f4ab78b0d9748809e4279aebff27f7f7713188e8 (diff) |
Special characters in XMI file, small layout changes in navigation bar
Added support for special characters in XMI file. Spaces in navigation bar were narrowed.
Issue-ID: AAI-2441
Signed-off-by: Igor Dysko <igor1.dysko@orange.com>
Change-Id: Icd0c6d398beb71b7e8a367d301a40dd6c1105e0f
Diffstat (limited to 'graphgraph-fe/src/graph_settings.css')
-rw-r--r-- | graphgraph-fe/src/graph_settings.css | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/graphgraph-fe/src/graph_settings.css b/graphgraph-fe/src/graph_settings.css index c30cda9..2cb08e5 100644 --- a/graphgraph-fe/src/graph_settings.css +++ b/graphgraph-fe/src/graph_settings.css @@ -6,31 +6,31 @@ } .schemas-dropdown{ - width: 100px; + width: 60px; } -.node-dropdown{ +.node-dropdown { width: 200px; } -.source-dropdown-div{ - margin-left: 20px; - margin-right: 20px; +.source-dropdown-div { + margin-left: 10px; + margin-right: 10px; + margin-bottom: 3px; } -.startendnode-dropdown{ +.startendnode-dropdown { display: flex; } -.graph-menu -{ +.graph-menu { display: flex; width: 80px !important; } -.modal-button -{ +.modal-button { padding-top: 20px; - margin: 0; + margin-left: 5px; + margin-right: 5px; } |