Skip to content

GitLab

Commit 5da9608c authored by Matthieu Muffato's avatar Matthieu Muffato
Browse files

Include the CSS for the eHive HTML doc 

The CSS file is a copy from 00_general.css (in ensembl-webcode).
Variables have been replaced, and a few tweaks have been made:
 - global padding on <body>
 - font-size in the th/td elements
parent 16f33e19
Hide whitespace changes
Inline Side-by-side
Showing with 205 additions and 1 deletion
docs/ehive_doc.css 0 → 100644
View file @ 5da9608c
/*
* Copyright [1999-2014] Wellcome Trust Sanger Institute and the EMBL-European Bioinformatics Institute
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
/* BASE CLASSES TO TWEAK DEFAULT BROWSER RENDERING AND STYLE OVERALL SITE */
/*----------------------------------------------------------------------
General font sizes and styles...
----------------------------------------------------------------------*/
body { font-family: Luxi Sans, Helvetica, Arial, Geneva, sans-serif;
font-size:80%; color: #555; background-color: #fff;
padding: 1em; margin: 0; border: 0; }
body.ie6 { font-size:85%; }
pre, code, kbd { font-family: Courier New, Courier, monospace; }
div, span, p, li, dd, dt, pre, code, kbd { font-size: 1em; }
th, td { font-size: 0.8em; }
body.ie6 th, body.ie6 td { font-size: 13px; }
/*----------------------------------------------------------------------
Default whitespace settings round features...
----------------------------------------------------------------------*/
img { border: 0; }
form { border: none; margin: 0 0 1em 0; }
p { margin: 0 0 1em; line-height: 1.25em; padding: 0; }
ul, ol { margin: 0 0 1.25em; line-height: 1.25em; padding-left: 2em; }
pre { margin: 0 0 1em; }
/*----------------------------------------------------------------------
Minimum page width - control page layout in desktop browsers
----------------------------------------------------------------------*/
#min_width_container { position: relative; width: 100%; min-width:775px; }
#min_width_holder { display: block; }
body.ie6 #min_width_container { border-right: 775px solid #fff; }
body.ie6 #min_width_holder { display: inline-block; position: relative; margin-right: -775px; }
/*----------------------------------------------------------------------
General settings
----------------------------------------------------------------------*/
.hidden { display: none; }
.hide { display: none; } /* need to remove this if we can */
.page { text-align: center; padding: 0.25em; }
.spinner { height: 100px; display: block; border: 16px solid transparent; margin: 0 0 16px; text-align: center; background: url(/i/e-loader.gif) no-repeat bottom center; }
.pointer { cursor: pointer; }
body.ie6 .spinner { background-color: #fff; border-color: #fff; height: 132px; }
/*----------------------------------------------------------------------
Manual margin settings - to override any existing margins
----------------------------------------------------------------------*/
.top-margin { margin-top: 1em !important; }
.bottom-margin { margin-bottom: 1em !important; }
.left-margin { margin-left: 1em !important; }
.right-margin { margin-right: 1em !important; }
.no-top-margin { margin-top: 0 !important; }
.no-bottom-margin { margin-bottom: 0 !important; }
.no-left-margin { margin-left: 0 !important; }
.no-right-margin { margin-right: 0 !important; }
.half-margin { margin-bottom: 0.5em !important; }
/*----------------------------------------------------------------------
jQuery resizable handles
----------------------------------------------------------------------*/
.ui-resizable-handle { position: absolute; font-size: 0.1px; display: block; }
.ui-resizable-s { cursor: s-resize; width: 100%; height: 7px; left: 0; bottom: -5px; }
.ui-resizable-e { cursor: e-resize; width: 7px; height: 100%; right: -5px; top: 0; }
.ui-resizable-se { cursor: se-resize; width: 12px; height: 12px; right: 1px; bottom: 1px; }
/*----------------------------------------------------------------------
Headings
----------------------------------------------------------------------*/
h1, h2, h3, h4 { color: #333; margin: 0 0 1em; }
h1 { font-size: 1.5em; }
h2 { font-size: 1.2em; }
h3 { font-size: 1.1em; }
h4 { font-size: 1em; }
body.mac h1,
body.mac h2 { padding-top: 4px; }
.invisible { font-size: 1px; color: #fff; height: 0; clear: both; overflow: hidden; margin: 0!important; line-height: 0!important; }
.mobile-only { display:none; }
/*----------------------------------------------------------------------
Links
----------------------------------------------------------------------*/
a { color: #36b; } /* neutral style for anchor target */
a:visited { color: #006; }
a:hover { color: #c00; }
a:active { color: #c00; }
a.no-visit:visited { color: #36b; } /* don't change link colour on links we want to stay "visible" */
span.link { color: #36b; cursor: pointer; text-decoration: underline; }
a.toggle { background: url(/i/open2.gif) no-repeat right bottom; text-decoration: none; padding-right: 20px; outline: 0 none; }
a.toggle.closed { background-image: url(/i/closed2.gif); }
a.ajax_add { background: none!important; padding-right: 0; }
p.button a { background-color: #667aa6; border: 3px double #fff; color: #fff; padding: 3px 6px 1px; margin-right: 4px; text-decoration: none; display: inline-block; }
/*----------------------------------------------------------------------
Tables
----------------------------------------------------------------------*/
tr { vertical-align: top; }
th, td { text-align: left; border: 0; color: #333; }
/*----------------------------------------------------------------------
Lists
----------------------------------------------------------------------*/
li { margin-bottom: 0.5em; }
li.compact { margin-bottom: 0; }
ol li { list-style-type: decimal; list-style-image: none; }
ul li { list-style-image: url(/i/bullet_1.gif); }
ul.checklist li { list-style-image: url(/i/checkbox.gif); }
ul li ul li, ul.level2 li { list-style-image: url(/i/bullet_2.gif); }
ul li ol li { list-style-image: none; }
ul li ul, ul li ol, ol li ul { margin-top: 0.5em; }
dt { font-weight: bold; }
dd { margin-bottom: 1em; }
/*----------------------------------------------------------------------
Errors and info boxes
----------------------------------------------------------------------*/
div.error,
div.warning,
div.info,
div.hint { margin: 0 0 1em; }
div.error h3,
div.warning h3,
div.info h3,
div.hint h3 { margin: 0; padding: 4px 8px 2px 24px; background: #a55 url(/i/16/rev/alert.png) no-repeat 4px center; border-radius: 8px 8px 0 0; -moz-border-radius: 8px 8px 0 0; -webkit-border-radius: 8px 8px 0 0; line-height: 1em; }
div.error h4,
div.error h3,
div.warning h3 { color: #fff !important; }
div.warning h3 { background-color: #daa246; }
div.info h3 { background-image: url(/i/16/info.png); background-color: #ccc; }
div.hint h3 { background-image: none; padding: 4px 8px 2px; background-color: #ccc; height: 20px; line-height: 20px; }
div.error div,
div.warning div,
div.info div,
div.hint div { border: 1px solid #a55; border-radius: 0 0 8px 8px; -moz-border-radius: 0 0 8px 8px; -webkit-border-radius: 0 0 8px 8px; }
div.warning div { border-color: #daa246; }
div.info div,
div.hint div { border-color: #ccc; }
div.syntax-error { color: #555; background-color: #fff; }
.error-pad,
.message-pad { padding: 1em 1em 0; }
div.filter-error { margin: 1em 1em 0; }
/* "close" icon */
div.hint h3 img { float: right; margin: 0; padding: 0; }
div.notes { padding: 1em 1em 8px; margin-bottom: 1em; background-color: #ffd; border: 1px #fe9 solid; }
div.notes h4 { background: url(/i/16/info.png) top left no-repeat; height: 1em; line-height: 1em; padding-left: 24px; }
div.notes p { margin-bottom: 8px; }
/***********************************************************************
**
** Basic printer styles
**
***********************************************************************/
.screen_hide_inline, .screen_hide_block { display: none; }
@media print {
body, h1, h2, h4 { color: #000; }
.print_hide, .error, .warning, .info { display: none !important; }
.screen_hide_inline { display: inline; }
.screen_hide_block { display: block ; }
}
/* external links have an extra ..... ed line under them... */
a._external_link_ { border-bottom: 1px dotted #36b; }
/* mobile version site */
/*.full-site-box { display: none; } */
#menu_icon { display: none; }
docs/hive_schema.html
View file @ 5da9608c
......@@ -3,7 +3,7 @@
<head>
<title>Hive Schema Documentation</title>
<meta name="order" content="2" />
<link rel="stylesheet" type="text/css" media="all" href="http://static.ensembl.org/minified/9256d71d74fd7c3e9e2b7815edb7812b.css" />
<link rel="stylesheet" type="text/css" media="all" href="ehive_doc.css" />
<script language="Javascript" type="text/javascript">
var img_plus = '<img src="/i/16/plus-button.png" style="width:12px;height:12px;vertical-align:middle" alt="show"/>';
......
docs/install.html
View file @ 5da9608c
<html>
<head>
<title>eHive installation and setup</title>
<link rel="stylesheet" type="text/css" media="all" href="ehive_doc.css" />
</head>
<body>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment