From c67b061fa2f91334acf118c15ba7418e622555b1 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Mon, 3 Sep 2012 10:04:53 +0200
Subject: [PATCH] Fix XQuery demo page to not set height on scroller element
Closes #780
---
mode/xquery/index.html | 12 +++++-------
1 file changed, 5 insertions(+), 7 deletions(-)
diff --git a/mode/xquery/index.html b/mode/xquery/index.html
index bea4ab4ac..27acb8978 100644
--- a/mode/xquery/index.html
+++ b/mode/xquery/index.html
@@ -33,13 +33,11 @@ THE SOFTWARE.
<link rel="stylesheet" href="../../doc/docs.css">
<link rel="stylesheet" href="../../theme/xq-dark.css">
<style type="text/css">
- .CodeMirror {
- border-top: 1px solid black; border-bottom: 1px solid black;
- }
- .CodeMirror-scroll {
- height:400px;
- }
- </style>
+ .CodeMirror {
+ border-top: 1px solid black; border-bottom: 1px solid black;
+ height:400px;
+ }
+ </style>
</head>
<body>
<h1>CodeMirror: XQuery mode</h1>
--
GitLab