diff --git a/share/style.css b/share/style.css
index d5b1161a24596771990a660897601498c29ae888..9e8668b64dddb03a3e4a98029e55f5cd966c68ed 100644 (file)
--- a/share/style.css
+++ b/share/style.css
body
{
font-family: sans-serif;
+ margin: 0;
+}
+
+a
+{
+ color: rgb(0,0,240);
+ text-decoration: none;
+}
+
+a:hover
+{
+ color: rgb(32,32,255);
+ text-decoration: underline;
}
#layout-table
{
width: 100%;
+ margin: 1ex;
}
#layout-top-left,
vertical-align: top;
}
-ul.graph_list
+#layout-middle-center h1,
+#layout-middle-center h2,
+#layout-middle-center h3
+{
+ clear: both;
+}
+
+#logo-canvas
+{
+ display: block;
+ text-decoration: none;
+ color: black;
+}
+
+#logo-canvas h1
+{
+ margin: 0;
+}
+
+#logo-subscript
+{
+ font-size: 90%;
+ font-style: italic;
+}
+
+ul.menu
+{
+ border: 1px solid silver;
+ background-color: #fcfcfc;
+}
+
+#search-form
+{
+ position: relative;
+}
+
+#search-suggest
+{
+ position: absolute;
+ background-color: rgba(255,255,255,.8);
+ margin: 0;
+ padding: 0.5ex;
+ border: 1px solid black;
+ list-style: none;
+}
+
+#search-suggest ul.instance_list
+{
+ margin: 0;
+ padding: 0;
+ list-style: none;
+}
+
+#search-suggest li
+{
+ margin: 0;
+ padding: 0;
+}
+
+#search-suggest a
+{
+ display: block;
+ margin: 0;
+ padding: 0;
+ color: #2d6195;
+ background-color: transparent;
+}
+
+#search-suggest li.instance a
+{
+ padding-left: 1em;
+}
+
+#search-suggest a:hover
+{
+ color: white;
+ background-color: #408dd8;
+}
+
+#search-output ul.graph_list
{
margin: 0;
padding: 1ex;
}
-li.graph
+#search-output li.graph
{
display: block;
border: 1px solid gray;
background-color: rgb(245,245,255);
}
-ul.instance_list
+#search-output ul.instance_list
{
margin: 0;
padding: 1ex;
background-color: rgb(252,252,252);
}
-li.instance
+#search-output li.instance
{
display: block;
font-size: 90%;
}
+
+#search-output li.instance.more
+{
+ padding-top: .5ex;
+ font-style: italic;
+}
+
+.breadcrump
+{
+ font-size: 90%;
+ margin: 1ex 0 1ex 0;
+ padding: 0 0 0 2em;
+ border-top: 1px solid silver;
+ border-bottom: 1px solid silver;
+ background-color: rgb(252,252,252);
+}
+
+.graph-img
+{
+ position: relative;
+ float: left;
+ clear: both;
+}
+
+div.graph-img div.graph-buttons
+{
+ display: none;
+}
+
+div.graph-img:hover div.graph-buttons
+{
+ display: block;
+}
+
+.graph-img .graph-buttons.navigation
+{
+ position: absolute;
+ right: 5px;
+ bottom: 5px;
+}
+
+.graph-img .graph-buttons.presets
+{
+ position: absolute;
+ right: 5px;
+ top: 5px;
+}
+
+.graph-buttons .graph-button
+{
+ width: 1em;
+ height: 1em;
+ border: 1px solid gray;
+ text-align: center;
+ background-color: rgba(255,255,255,.8);
+ color: gray;
+ cursor: pointer;
+}
+
+.graph-buttons div.graph-button:hover
+{
+ border: 1px solid black;
+ background-color: white;
+ color: black;
+}
+
+.graph-buttons.navigation .graph-button
+{
+ float: left;
+ margin-left: 1px;
+}
+
+.graph-buttons.presets .graph-button
+{
+ margin-bottom: 1px;
+}
+
+div.footer
+{
+ margin-left: auto;
+ margin-right: auto;
+ padding: 0 1em;
+ border-top: 1px solid gray;
+ font-size: 80%;
+ font-style: italic;
+ text-align: right;
+}