From e01e0fdb6ef8f5b8ec8e6b61a6d7ee25a627d7f8 Mon Sep 17 00:00:00 2001 From: maximesinclair Date: Fri, 28 Feb 2014 23:21:58 +0100 Subject: [PATCH] [FEATURE] Style update required by CodeMirror --- src/main/webapp/index.jsp | 17 +++++++++++------ src/main/webapp/plantuml.css | 12 ++++++------ 2 files changed, 17 insertions(+), 12 deletions(-) diff --git a/src/main/webapp/index.jsp b/src/main/webapp/index.jsp index 93d9ace..c2c2585 100644 --- a/src/main/webapp/index.jsp +++ b/src/main/webapp/index.jsp @@ -28,6 +28,15 @@ + + PlantUMLServer @@ -43,13 +52,12 @@ <%-- CONTENT --%>

- -
+


- You can enter here a previously generated URL: +

You can enter here a previously generated URL:

@@ -84,8 +92,5 @@ <%-- FOOTER --%> <%@ include file="footer.jspf" %> - diff --git a/src/main/webapp/plantuml.css b/src/main/webapp/plantuml.css index 916561e..4aa95ed 100644 --- a/src/main/webapp/plantuml.css +++ b/src/main/webapp/plantuml.css @@ -3,8 +3,9 @@ ******************************/ /* Font */ -* { +h1, p, #content a { font-family: arial,helvetica,sans-serif; + /* font-size: medium; */ } /* Header */ @@ -22,16 +23,15 @@ } /* Form inputs */ -#content textarea, #content input[type=text] { +#content textarea, #content .CodeMirror, #content input[type=text] { background-color: #ffc; font-family: monospace; + font-size: medium; width: 100%; } -/* XHTML tag */ -#content code { - font-family: 'courier new',courier,monospace; - letter-spacing: -1pt; +#content input[type=text] { + border: 0; } /* Diagram */