/* GF RGL Browser John J. Camiller, 2012 */ body { background: url('http://cloud.grammaticalframework.org/minibar/brushed-metal.png') #ddd; margin:0; font: 13px sans-serif; } h1,h2,h3,h4 { font-family: sans-serif; color: #303030; text-shadow: rgba(0,0,0,0.25) 2px 2px 5px; } header { } header img { height:2em; vertical-align:bottom; } header h1 { margin:0 1em 0 0; font-size:110%; display: inline-block; } .ui-layout-north { background:none; border:none; } .ui-layout-resizer-north { } .ui-layout-resizer { background:none; } .ui-layout-toggler { background:#999; } .ui-layout-center, .ui-layout-west { } #language_select { width:100%; } #recent { border-bottom:1px #999 solid; } #recent a { color: #999; } #recent a, #modules a { display: block; text-decoration: none; margin: 2px 5px; } #recent a:hover, #modules a:hover { text-decoration:underline; } #tabbar { display:inline-block; } #tabbar .module { border-left: 1px dotted #333; border-right: 1px dotted #333; padding:0.5em 0.2em 0.5em 1em; margin-right:0.7em; } #module_name { font-weight: bold; margin-right:0.7em; } .tab { cursor:pointer; padding:0.5em 0.5em; margin-right:0.5em; display:inline-block; text-transform:capitalize; text-decoration:none; font-family:sans-serif; font-weight:bold; background: #aaa; color: white; border-radius: 0.5em; line-height: 1; } .tab:hover { background: #666; } .tab.active { background: #222; } #loading { position: fixed; top: 10px; right: 10px; white-space: nowrap; padding: 0.5em 1em; border: 1px solid #F0C36D; background: #F9EDBE; color: #333; vertical-align: top; font: bold 13px sans-serif; z-index:100; } .scope { } .code { } .api { } .help { } a.synopsis { background: url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAoAAAAKCAYAAACNMs+9AAAAVklEQVR4Xn3PgQkAMQhDUXfqTu7kTtkpd5RA8AInfArtQ2iRXFWT2QedAfttj2FsPIOE1eCOlEuoWWjgzYaB/IkeGOrxXhqB+uA9Bfcm0lAZuh+YIeAD+cAqSz4kCMUAAAAASUVORK5CYII=') center right no-repeat; padding-right:14px; } input#search { font-family:monospace; width:25em; padding:0.25em; background:#eee; } .panel { } .panel.code, .panel.api, .panel.help { display:none; } #controls { border-bottom: 1px solid #CCC; padding-bottom: 0.5em; } #results { font: 12px monospace; width:100%; margin-top:1em; border-collapse: collapse; } /* this is set in code */ #results tr.odd { background:ghostwhite; } #results tr.indir { font-style:italic; } #results tr.local td:nth-child(2) { font-weight:bold; } #results th { text-align:left; } #results th, #results td { padding:0.4em; /* border-style: solid; border-width: 0 0 1px 0; border-color: #eee; */ background:none; white-space:nowrap; } #results td:nth-child(6) { white-space:normal; } #code pre { margin:0; color:#000; font: 12px monospace; } #code ol.linenums { color: #aaa; margin: 0; } dt { font-weight:bold; } footer { padding:3px 6px; color:#333; font-size:13px; text-align:right; position:absolute; top:0; right:0; }