在我的网站上,我有一个固定页脚的位置,我想把中心文本放入.奇怪的是,无论我在做什么,文字都不会居中,它总是留下来.
<div id="footer">
Copyright 2013 © LolStreamGallery - <a href="TermsofUse.html">Terms of Use</a>
</div>
Run Code Online (Sandbox Code Playgroud)
CSS:
#footer {
text-align:center;
position:fixed;
bottom:0px;
height:30px;
background-color:#ededed;
font-family: "Myriad Pro";
font-size:14px;
}
Run Code Online (Sandbox Code Playgroud)
也许你还想知道身体的CSS:
body {
background-color:#ededed;
/*text-align:left;*/
margin:0;
padding:0px;
}
Run Code Online (Sandbox Code Playgroud)
我已经尝试过取消注释主体默认对齐,但是没有效果.有人有想法吗?
我user.json在src/main/resources文件夹中有一个名为的文件。

在我用 gradle 执行命令将我的应用程序打包成一个 jar 文件后
gradle distTar
Run Code Online (Sandbox Code Playgroud)
我无法打开文件并收到这样的异常
Caused by: java.io.FileNotFoundException: file:/app/api-latest/lib/api-latest.jar!/user.json (No such file or directory)
Run Code Online (Sandbox Code Playgroud)
我尝试以 3 种方式访问文件,现在都导致 FileNotFoundException:
1:
fun readFileFromResources(filename : String) : File {
return File(filename)
}
Run Code Online (Sandbox Code Playgroud)
2:
fun readFileFromResources(filename : String) : File {
val classLoader = Util::class.java.classLoader
return File(classLoader.getResource(filename).file)
}
Run Code Online (Sandbox Code Playgroud)
3:
fun readFileFromResources(filename : String) : File {
return File("src/main/resources", filename)
}
Run Code Online (Sandbox Code Playgroud)
我已经解压了生成的 .jar 并看到 user.json 文件确实在包的根目录中。
有人知道这不起作用的原因吗?我正在使用 gradle 4.5.1 和 Kotlin 1.2.30
我的 build.gradle 看起来像这样
group 'example' …Run Code Online (Sandbox Code Playgroud) 还是我只是瞎了?
非常容易的功能,抛出"模式匹配失败:get_rtg db"
type Movie = (Title,Regisseur,MainActors,ReleaseDate,Genre,SalesPrice)
type Title = String
type Regisseur = String
type Actor = String
type MainActors = [Actor]
type ReleaseDate = Int
data Genre = Thriller | Fantasy | ScienceFiction | Comedy deriving (Eq,Ord,Show)
type SalesPrice = Int
type Database = [Movie]
-- gets all entrys which have a Regisseur, who is in MainActors at the same time
get_rtg :: Database -> [(Regisseur,Title,Genre)]
get_rtg [] = []
ger_rtg ((ti,reg,acts,rel,gen,sal):xs) = if (isInfixOf [reg] acts) then …Run Code Online (Sandbox Code Playgroud) 我有一个顶部导航,我希望导航的一部分在左侧,另一部分在右侧.我现在已经坐了一会儿而且没有得到它.我不明白为什么它不起作用我的代码:
<div id="overhead">
<div id="overheadText">
<!-- Home -->
<a href="index.html" onmouseout="MM_swapImgRestore()" onmouseover="MM_swapImage('Home','','Images/List/diverse/home_mo.png',1)"><img src="Images/List/diverse/home.png" alt="Home" name="Home" width="65" height="30" border="0" id="Home" /></a>
<!-- Request Streams -->
<a href="RequestStream.html" onmouseout="MM_swapImgRestore()" onmouseover="MM_swapImage('RequestStream','','Images/List/diverse/requestStream_mo.png',1)"><img src="Images/List/diverse/requestStream.png" alt= "RequestStream" name="RequestStream" width="113" height="30" border="0" id="RequestStream" /></a>
<!-- About&Contact -->
<a href="AboutContact.html" onmouseout="MM_swapImgRestore()" onmouseover="MM_swapImage('AboutContact','','Images/List/diverse/AboutContact_mo.png',1)"><img src="Images/List/diverse/AboutContact.png" alt="About&Contact" name="AboutContact" width="113" height="30" border="0" id="AboutContact" /></a>
<!-- Play LoL -->
<a href="http://www.leagueoflegends.com" onmouseout="MM_swapImgRestore()" onmouseover="MM_swapImage('Lol','','Images/List/diverse/Lol_mo.png',1)"><img src="Images/List/diverse/Lol.png" alt="Play LeagueofLegends" name="Lol" width="160" height="30" border="0" id="Lol" /></a>
<!-- All links following should be rightsided (But wont work) --> …Run Code Online (Sandbox Code Playgroud) // Get Id, Streamanbieter und StreamId
$sql = mysql_query("SELECT `Id`,`Anbieter`,`StreamId`,`Online` FROM `streams`");
// Aktualisiere streams
while($row = mysql_fetch_object($sql)) {
$id = $row->Id;
$anbieter = $row->Anbieter;
$streamid = $row->StreamId;
$ison = $row->Online;
$set_online = "UPDATE streams Set Online = '1' WHERE Id = $id";
$set_offline = "UPDATE streams Set Online = '0' WHERE Id = $id";
//$set_onlinesince = "UPDATE streams SET Online_since = current_timestamp WHERE Id = $id AND Online_since = '0000-00-00 00:00:00'";
$viewers = get_viewers($streamid, $anbieter);
$update_viewers = "UPDATE streams …Run Code Online (Sandbox Code Playgroud)